home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| MultiMate Document (document/multiMate)
| ext
| Unsupported |
| 1%
| dexvert
| WANG Integrated Word Processor (document/wangIWP)
| ext
| Unsupported |
| 1%
| dexvert
| Excellence! Document (document/excellenceDocument)
| ext
| Unsupported |
| 1%
| dexvert
| IBM DisplayWrite Document (document/ibmDisplayWriteDocument)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 63 68 61 70 74 65 72 | 7b 49 6e 74 72 6f 64 75 |\chapter|{Introdu|
|00000010| 63 74 69 6f 6e 7d 0a 0a | 5c 73 65 63 74 69 6f 6e |ction}..|\section|
|00000020| 7b 53 57 49 2d 50 72 6f | 6c 6f 67 7d 0a 0a 53 57 |{SWI-Pro|log}..SW|
|00000030| 49 2d 50 72 6f 6c 6f 67 | 20 68 61 73 20 62 65 65 |I-Prolog| has bee|
|00000040| 6e 20 64 65 73 69 67 6e | 65 64 20 61 6e 64 20 69 |n design|ed and i|
|00000050| 6d 70 6c 65 6d 65 6e 74 | 65 64 20 74 6f 20 67 65 |mplement|ed to ge|
|00000060| 74 20 61 20 50 72 6f 6c | 6f 67 0a 69 6d 70 6c 65 |t a Prol|og.imple|
|00000070| 6d 65 6e 74 61 74 69 6f | 6e 20 77 68 69 63 68 20 |mentatio|n which |
|00000080| 63 61 6e 20 62 65 20 75 | 73 65 64 20 66 6f 72 20 |can be u|sed for |
|00000090| 65 78 70 65 72 69 6d 65 | 6e 74 73 20 77 69 74 68 |experime|nts with|
|000000a0| 20 6c 6f 67 69 63 20 70 | 72 6f 67 72 61 6d 6d 69 | logic p|rogrammi|
|000000b0| 6e 67 0a 61 6e 64 20 74 | 68 65 20 72 65 6c 61 74 |ng.and t|he relat|
|000000c0| 69 6f 6e 20 74 6f 20 6f | 74 68 65 72 20 70 72 6f |ion to o|ther pro|
|000000d0| 67 72 61 6d 6d 69 6e 67 | 20 70 61 72 61 64 69 67 |gramming| paradig|
|000000e0| 6d 73 2e 20 54 68 65 20 | 69 6e 74 65 6e 74 69 6f |ms. The |intentio|
|000000f0| 6e 20 77 61 73 20 74 6f | 0a 62 75 69 6c 64 20 61 |n was to|.build a|
|00000100| 20 50 72 6f 6c 6f 67 20 | 65 6e 76 69 72 6f 6e 6d | Prolog |environm|
|00000110| 65 6e 74 20 77 68 69 63 | 68 20 6f 66 66 65 72 73 |ent whic|h offers|
|00000120| 20 65 6e 6f 75 67 68 20 | 70 6f 77 65 72 20 61 6e | enough |power an|
|00000130| 64 20 66 6c 65 78 69 62 | 69 6c 69 74 79 20 74 6f |d flexib|ility to|
|00000140| 0a 77 72 69 74 65 20 73 | 75 62 73 74 61 6e 74 69 |.write s|ubstanti|
|00000150| 61 6c 20 61 70 70 6c 69 | 63 61 74 69 6f 6e 73 2c |al appli|cations,|
|00000160| 20 62 75 74 20 69 73 20 | 73 74 72 61 69 67 68 74 | but is |straight|
|00000170| 66 6f 72 77 61 72 64 20 | 65 6e 6f 75 67 68 20 74 |forward |enough t|
|00000180| 6f 20 62 65 0a 6d 6f 64 | 69 66 69 65 64 20 66 6f |o be.mod|ified fo|
|00000190| 72 20 65 78 70 65 72 69 | 6d 65 6e 74 73 20 77 69 |r experi|ments wi|
|000001a0| 74 68 20 64 65 62 75 67 | 67 69 6e 67 2c 20 6f 70 |th debug|ging, op|
|000001b0| 74 69 6d 69 73 61 74 69 | 6f 6e 20 6f 72 20 74 68 |timisati|on or th|
|000001c0| 65 0a 69 6e 74 72 6f 64 | 75 63 74 69 6f 6e 20 6f |e.introd|uction o|
|000001d0| 66 20 6e 6f 6e 2d 73 74 | 61 6e 64 61 72 64 20 64 |f non-st|andard d|
|000001e0| 61 74 61 20 74 79 70 65 | 73 2e 20 50 65 72 66 6f |ata type|s. Perfo|
|000001f0| 72 6d 61 6e 63 65 20 6f | 70 74 69 6d 69 73 61 74 |rmance o|ptimisat|
|00000200| 69 6f 6e 20 69 73 0a 6c | 69 6d 69 74 65 64 20 64 |ion is.l|imited d|
|00000210| 75 65 20 74 6f 20 74 68 | 65 20 6d 61 69 6e 20 6f |ue to th|e main o|
|00000220| 62 6a 65 63 74 69 76 65 | 73 3a 20 20 70 6f 72 74 |bjective|s: port|
|00000230| 61 62 69 6c 69 74 79 20 | 28 53 57 49 2d 50 72 6f |ability |(SWI-Pro|
|00000240| 6c 6f 67 20 69 73 0a 65 | 6e 74 69 72 65 6c 79 20 |log is.e|ntirely |
|00000250| 77 72 69 74 74 65 6e 20 | 69 6e 20 43 20 61 6e 64 |written |in C and|
|00000260| 20 50 72 6f 6c 6f 67 29 | 20 61 6e 64 20 6d 6f 64 | Prolog)| and mod|
|00000270| 69 66 69 61 62 69 6c 69 | 74 79 2e 0a 0a 53 57 49 |ifiabili|ty...SWI|
|00000280| 2d 50 72 6f 6c 6f 67 20 | 69 73 20 62 61 73 65 64 |-Prolog |is based|
|00000290| 20 6f 6e 20 61 20 76 65 | 72 79 20 72 65 73 74 72 | on a ve|ry restr|
|000002a0| 69 63 74 65 64 20 66 6f | 72 6d 20 6f 66 20 74 68 |icted fo|rm of th|
|000002b0| 65 20 57 41 4d 20 28 57 | 61 72 72 65 6e 0a 41 62 |e WAM (W|arren.Ab|
|000002c0| 73 74 72 61 63 74 20 4d | 61 63 68 69 6e 65 29 20 |stract M|achine) |
|000002d0| 64 65 73 63 72 69 62 65 | 64 20 69 6e 20 5c 63 69 |describe|d in \ci|
|000002e0| 74 65 7b 42 6f 77 65 6e | 3a 38 33 7d 20 77 68 69 |te{Bowen|:83} whi|
|000002f0| 63 68 20 64 65 66 69 6e | 65 73 20 6f 6e 6c 79 20 |ch defin|es only |
|00000300| 37 0a 69 6e 73 74 72 75 | 63 74 69 6f 6e 73 2e 20 |7.instru|ctions. |
|00000310| 50 72 6f 6c 6f 67 20 63 | 61 6e 20 65 61 73 69 6c |Prolog c|an easil|
|00000320| 79 20 62 65 20 63 6f 6d | 70 69 6c 65 64 20 69 6e |y be com|piled in|
|00000330| 74 6f 20 74 68 69 73 20 | 6c 61 6e 67 75 61 67 65 |to this |language|
|00000340| 20 61 6e 64 20 74 68 65 | 0a 61 62 73 74 72 61 63 | and the|.abstrac|
|00000350| 74 20 6d 61 63 68 69 6e | 65 20 63 6f 64 65 20 69 |t machin|e code i|
|00000360| 73 20 65 61 73 69 6c 79 | 20 64 65 63 6f 6d 70 69 |s easily| decompi|
|00000370| 6c 65 64 20 62 61 63 6b | 20 69 6e 74 6f 20 50 72 |led back| into Pr|
|00000380| 6f 6c 6f 67 2e 20 20 41 | 73 20 69 74 20 69 73 0a |olog. A|s it is.|
|00000390| 61 6c 73 6f 20 70 6f 73 | 73 69 62 6c 65 20 74 6f |also pos|sible to|
|000003a0| 20 77 69 72 65 20 61 20 | 73 74 61 6e 64 61 72 64 | wire a |standard|
|000003b0| 20 34 2d 70 6f 72 74 20 | 64 65 62 75 67 67 65 72 | 4-port |debugger|
|000003c0| 20 69 6e 20 74 68 65 20 | 57 41 4d 0a 69 6e 74 65 | in the |WAM.inte|
|000003d0| 72 70 72 65 74 65 72 20 | 74 68 65 72 65 20 69 73 |rpreter |there is|
|000003e0| 20 6e 6f 20 6e 65 65 64 | 20 66 6f 72 20 61 20 64 | no need| for a d|
|000003f0| 69 73 74 69 6e 63 74 69 | 6f 6e 20 62 65 74 77 65 |istincti|on betwe|
|00000400| 65 6e 20 63 6f 6d 70 69 | 6c 65 64 20 61 6e 64 0a |en compi|led and.|
|00000410| 69 6e 74 65 72 70 72 65 | 74 65 64 20 63 6f 64 65 |interpre|ted code|
|00000420| 2e 20 20 42 65 73 69 64 | 65 73 20 73 69 6d 70 6c |. Besid|es simpl|
|00000430| 69 66 79 69 6e 67 20 74 | 68 65 20 64 65 73 69 67 |ifying t|he desig|
|00000440| 6e 20 6f 66 20 74 68 65 | 20 50 72 6f 6c 6f 67 20 |n of the| Prolog |
|00000450| 73 79 73 74 65 6d 0a 69 | 74 73 65 6c 66 20 74 68 |system.i|tself th|
|00000460| 69 73 20 61 70 70 72 6f | 61 63 68 20 68 61 73 20 |is appro|ach has |
|00000470| 61 64 76 61 6e 74 61 67 | 65 73 20 66 6f 72 20 70 |advantag|es for p|
|00000480| 72 6f 67 72 61 6d 20 64 | 65 76 65 6c 6f 70 6d 65 |rogram d|evelopme|
|00000490| 6e 74 3a 20 74 68 65 0a | 63 6f 6d 70 69 6c 65 72 |nt: the.|compiler|
|000004a0| 20 69 73 20 73 69 6d 70 | 6c 65 20 61 6e 64 20 66 | is simp|le and f|
|000004b0| 61 73 74 2c 20 74 68 65 | 20 75 73 65 72 20 64 6f |ast, the| user do|
|000004c0| 65 73 20 6e 6f 74 20 68 | 61 76 65 20 74 6f 20 64 |es not h|ave to d|
|000004d0| 65 63 69 64 65 20 69 6e | 0a 61 64 76 61 6e 63 65 |ecide in|.advance|
|000004e0| 20 77 68 65 74 68 65 72 | 20 64 65 62 75 67 67 69 | whether| debuggi|
|000004f0| 6e 67 20 69 73 20 72 65 | 71 75 69 72 65 64 20 61 |ng is re|quired a|
|00000500| 6e 64 20 74 68 65 20 73 | 79 73 74 65 6d 20 6f 6e |nd the s|ystem on|
|00000510| 6c 79 20 72 75 6e 73 20 | 73 6c 69 67 68 74 6c 79 |ly runs |slightly|
|00000520| 0a 73 6c 6f 77 65 72 20 | 77 68 65 6e 20 69 6e 20 |.slower |when in |
|00000530| 64 65 62 75 67 20 6d 6f | 64 65 2e 20 20 54 68 65 |debug mo|de. The|
|00000540| 20 70 72 69 63 65 20 77 | 65 20 68 61 76 65 20 74 | price w|e have t|
|00000550| 6f 20 70 61 79 20 69 73 | 20 73 6f 6d 65 0a 70 65 |o pay is| some.pe|
|00000560| 72 66 6f 72 6d 61 6e 63 | 65 20 64 65 67 72 61 64 |rformanc|e degrad|
|00000570| 61 74 69 6f 6e 20 28 74 | 61 6b 69 6e 67 20 6f 75 |ation (t|aking ou|
|00000580| 74 20 74 68 65 20 64 65 | 62 75 67 67 65 72 20 66 |t the de|bugger f|
|00000590| 72 6f 6d 20 74 68 65 20 | 57 41 4d 0a 69 6e 74 65 |rom the |WAM.inte|
|000005a0| 72 70 72 65 74 65 72 20 | 69 6d 70 72 6f 76 65 73 |rpreter |improves|
|000005b0| 20 70 65 72 66 6f 72 6d | 61 6e 63 65 20 62 79 20 | perform|ance by |
|000005c0| 61 62 6f 75 74 20 32 30 | 5c 25 29 20 61 6e 64 20 |about 20|\%) and |
|000005d0| 73 6f 6d 65 77 68 61 74 | 0a 61 64 64 69 74 69 6f |somewhat|.additio|
|000005e0| 6e 61 6c 20 6d 65 6d 6f | 72 79 20 75 73 61 67 65 |nal memo|ry usage|
|000005f0| 20 74 6f 20 68 65 6c 70 | 20 74 68 65 20 64 65 63 | to help| the dec|
|00000600| 6f 6d 70 69 6c 65 72 20 | 61 6e 64 20 64 65 62 75 |ompiler |and debu|
|00000610| 67 67 65 72 2e 0a 0a 53 | 57 49 2d 50 72 6f 6c 6f |gger...S|WI-Prolo|
|00000620| 67 20 65 78 74 65 6e 64 | 73 20 74 68 65 20 6d 69 |g extend|s the mi|
|00000630| 6e 69 6d 61 6c 20 73 65 | 74 20 6f 66 20 69 6e 73 |nimal se|t of ins|
|00000640| 74 72 75 63 74 69 6f 6e | 73 20 64 65 73 63 72 69 |truction|s descri|
|00000650| 62 65 64 20 69 6e 0a 5c | 63 69 74 65 7b 42 6f 77 |bed in.\|cite{Bow|
|00000660| 65 6e 3a 38 33 7d 20 74 | 6f 20 69 6d 70 72 6f 76 |en:83} t|o improv|
|00000670| 65 20 70 65 72 66 6f 72 | 6d 61 6e 63 65 2e 20 57 |e perfor|mance. W|
|00000680| 68 69 6c 65 20 65 78 74 | 65 6e 64 69 6e 67 20 74 |hile ext|ending t|
|00000690| 68 69 73 20 73 65 74 20 | 63 61 72 65 0a 68 61 73 |his set |care.has|
|000006a0| 20 62 65 65 6e 20 74 61 | 6b 65 6e 20 74 6f 20 6d | been ta|ken to m|
|000006b0| 61 69 6e 74 61 69 6e 20 | 74 68 65 20 61 64 76 61 |aintain |the adva|
|000006c0| 6e 74 61 67 65 73 20 6f | 66 20 64 65 63 6f 6d 70 |ntages o|f decomp|
|000006d0| 69 6c 61 74 69 6f 6e 20 | 61 6e 64 20 74 72 61 63 |ilation |and trac|
|000006e0| 69 6e 67 0a 6f 66 20 63 | 6f 6d 70 69 6c 65 64 20 |ing.of c|ompiled |
|000006f0| 63 6f 64 65 2e 20 54 68 | 65 20 65 78 74 65 6e 73 |code. Th|e extens|
|00000700| 69 6f 6e 73 20 69 6e 63 | 6c 75 64 65 20 73 70 65 |ions inc|lude spe|
|00000710| 63 69 61 6c 69 73 65 64 | 20 69 6e 73 74 72 75 63 |cialised| instruc|
|00000720| 74 69 6f 6e 73 20 66 6f | 72 0a 75 6e 69 66 69 63 |tions fo|r.unific|
|00000730| 61 74 69 6f 6e 2c 20 70 | 72 65 64 69 63 61 74 65 |ation, p|redicate|
|00000740| 20 69 6e 76 6f 63 61 74 | 69 6f 6e 2c 20 73 6f 6d | invocat|ion, som|
|00000750| 65 20 66 72 65 71 75 65 | 6e 74 6c 79 20 75 73 65 |e freque|ntly use|
|00000760| 64 20 62 75 69 6c 74 2d | 69 6e 0a 70 72 65 64 69 |d built-|in.predi|
|00000770| 63 61 74 65 73 2c 20 61 | 72 69 74 68 6d 65 74 69 |cates, a|rithmeti|
|00000780| 63 2c 20 61 6e 64 20 63 | 6f 6e 74 72 6f 6c 20 28 |c, and c|ontrol (|
|00000790| 5c 70 72 65 64 72 65 66 | 7b 3b 7d 7b 32 7d 2c 20 |\predref|{;}{2}, |
|000007a0| 5c 70 72 65 64 72 65 66 | 7b 7c 7d 7b 32 7d 29 2c |\predref|{|}{2}),|
|000007b0| 0a 69 66 2d 74 68 65 6e | 20 28 5c 70 72 65 64 72 |.if-then| (\predr|
|000007c0| 65 66 7b 2d 3e 7d 7b 32 | 7d 29 20 61 6e 64 20 6e |ef{->}{2|}) and n|
|000007d0| 6f 74 20 28 5c 70 72 65 | 64 72 65 66 7b 5c 2b 7d |ot (\pre|dref{\+}|
|000007e0| 7b 31 7d 29 2e 0a 0a 54 | 68 69 73 20 6d 61 6e 75 |{1})...T|his manu|
|000007f0| 61 6c 20 64 6f 65 73 20 | 6e 6f 74 20 64 65 73 63 |al does |not desc|
|00000800| 72 69 62 65 20 74 68 65 | 20 66 75 6c 6c 20 73 79 |ribe the| full sy|
|00000810| 6e 74 61 78 20 61 6e 64 | 20 73 65 6d 61 6e 74 69 |ntax and| semanti|
|00000820| 63 73 20 6f 66 0a 53 57 | 49 2d 50 72 6f 6c 6f 67 |cs of.SW|I-Prolog|
|00000830| 2c 20 6e 6f 72 20 68 6f | 77 20 6f 6e 65 20 73 68 |, nor ho|w one sh|
|00000840| 6f 75 6c 64 20 77 72 69 | 74 65 20 61 20 70 72 6f |ould wri|te a pro|
|00000850| 67 72 61 6d 20 69 6e 20 | 50 72 6f 6c 6f 67 2e 20 |gram in |Prolog. |
|00000860| 20 54 68 65 73 65 0a 73 | 75 62 6a 65 63 74 73 20 | These.s|ubjects |
|00000870| 68 61 76 65 20 62 65 65 | 6e 20 64 65 73 63 72 69 |have bee|n descri|
|00000880| 62 65 64 20 65 78 74 65 | 6e 73 69 76 65 6c 79 20 |bed exte|nsively |
|00000890| 69 6e 20 74 68 65 20 6c | 69 74 65 72 61 74 75 72 |in the l|iteratur|
|000008a0| 65 2e 20 20 53 65 65 0a | 5c 63 69 74 65 7b 42 72 |e. See.|\cite{Br|
|000008b0| 61 74 6b 6f 3a 38 36 7d | 2c 20 5c 63 69 74 65 7b |atko:86}|, \cite{|
|000008c0| 53 74 65 72 6c 69 6e 67 | 3a 38 36 7d 2c 20 61 6e |Sterling|:86}, an|
|000008d0| 64 20 5c 63 69 74 65 7b | 43 6c 6f 63 6b 73 69 6e |d \cite{|Clocksin|
|000008e0| 3a 38 37 7d 2e 20 20 46 | 6f 72 20 6d 6f 72 65 0a |:87}. F|or more.|
|000008f0| 61 64 76 61 6e 63 65 64 | 20 50 72 6f 6c 6f 67 20 |advanced| Prolog |
|00000900| 6d 61 74 65 72 69 61 6c | 20 73 65 65 20 5c 63 69 |material| see \ci|
|00000910| 74 65 7b 4b 65 65 66 65 | 3a 39 30 7d 2e 20 53 79 |te{Keefe|:90}. Sy|
|00000920| 6e 74 61 78 20 61 6e 64 | 20 73 74 61 6e 64 61 72 |ntax and| standar|
|00000930| 64 0a 6f 70 65 72 61 74 | 6f 72 20 64 65 63 6c 61 |d.operat|or decla|
|00000940| 72 61 74 69 6f 6e 73 20 | 63 6f 6e 66 69 72 6d 20 |rations |confirm |
|00000950| 74 6f 20 74 68 65 20 60 | 45 64 69 6e 62 75 72 67 |to the `|Edinburg|
|00000960| 68 20 73 74 61 6e 64 61 | 72 64 27 2e 20 20 4d 6f |h standa|rd'. Mo|
|00000970| 73 74 20 62 75 69 6c 74 | 0a 69 6e 20 70 72 65 64 |st built|.in pred|
|00000980| 69 63 61 74 65 73 20 61 | 72 65 20 63 6f 6d 70 61 |icates a|re compa|
|00000990| 74 69 62 6c 65 20 77 69 | 74 68 20 74 68 6f 73 65 |tible wi|th those|
|000009a0| 20 64 65 73 63 72 69 62 | 65 64 20 69 6e 20 5c 63 | describ|ed in \c|
|000009b0| 69 74 65 7b 43 6c 6f 63 | 6b 73 69 6e 3a 38 37 7d |ite{Cloc|ksin:87}|
|000009c0| 2e 0a 53 57 49 2d 50 72 | 6f 6c 6f 67 20 61 6c 73 |..SWI-Pr|olog als|
|000009d0| 6f 20 6f 66 66 65 72 73 | 20 61 20 6e 75 6d 62 65 |o offers| a numbe|
|000009e0| 72 20 6f 66 20 70 72 69 | 6d 69 74 69 76 65 20 70 |r of pri|mitive p|
|000009f0| 72 65 64 69 63 61 74 65 | 73 20 63 6f 6d 70 61 74 |redicate|s compat|
|00000a00| 69 62 6c 65 20 77 69 74 | 68 0a 51 75 69 6e 74 75 |ible wit|h.Quintu|
|00000a10| 73 20 50 72 6f 6c 6f 67 | 25 0a 20 20 20 20 5c 66 |s Prolog|%. \f|
|00000a20| 6f 6f 74 6e 6f 74 65 7b | 51 75 69 6e 74 75 73 20 |ootnote{|Quintus |
|00000a30| 69 73 20 61 20 74 72 61 | 64 65 6d 61 72 6b 20 6f |is a tra|demark o|
|00000a40| 66 20 51 75 69 6e 74 75 | 73 20 43 6f 6d 70 75 74 |f Quintu|s Comput|
|00000a50| 65 72 20 53 79 73 74 65 | 6d 73 20 49 6e 63 2e 2c |er Syste|ms Inc.,|
|00000a60| 20 55 53 41 7d 20 0a 5c | 63 69 74 65 7b 51 55 49 | USA} .\|cite{QUI|
|00000a70| 4e 54 55 53 3a 6d 61 6e | 75 61 6c 7d 20 61 6e 64 |NTUS:man|ual} and|
|00000a80| 20 42 49 4d 5f 50 72 6f | 6c 6f 67 25 0a 20 20 20 | BIM_Pro|log%. |
|00000a90| 20 5c 66 6f 6f 74 6e 6f | 74 65 7b 42 49 4d 20 69 | \footno|te{BIM i|
|00000aa0| 73 20 61 20 74 72 61 64 | 65 6d 61 72 6b 20 6f 66 |s a trad|emark of|
|00000ab0| 20 42 49 4d 20 73 61 2f | 6e 76 2e 2c 20 42 65 6c | BIM sa/|nv., Bel|
|00000ac0| 67 69 75 6d 7d 0a 5c 63 | 69 74 65 7b 42 49 4d 50 |gium}.\c|ite{BIMP|
|00000ad0| 52 4f 4c 4f 47 3a 6d 61 | 6e 75 61 6c 7d 2e 0a 0a |ROLOG:ma|nual}...|
|00000ae0| 49 53 4f 20 63 6f 6d 70 | 6c 69 61 6e 74 20 70 72 |ISO comp|liant pr|
|00000af0| 65 64 69 63 61 74 65 73 | 20 61 72 65 20 62 61 73 |edicates| are bas|
|00000b00| 65 64 20 6f 6e 20 60 60 | 50 72 6f 6c 6f 67 3a 20 |ed on ``|Prolog: |
|00000b10| 54 68 65 20 53 74 61 6e | 64 61 72 64 27 27 2c 0a |The Stan|dard'',.|
|00000b20| 5c 63 69 74 65 7b 44 65 | 72 61 6e 73 61 72 74 3a |\cite{De|ransart:|
|00000b30| 39 36 7d 2e 0a 0a 5c 73 | 65 63 74 69 6f 6e 7b 53 |96}...\s|ection{S|
|00000b40| 74 61 74 75 73 7d 0a 0a | 54 68 69 73 20 6d 61 6e |tatus}..|This man|
|00000b50| 75 61 6c 20 64 65 73 63 | 72 69 62 65 73 20 76 65 |ual desc|ribes ve|
|00000b60| 72 73 69 6f 6e 20 5c 76 | 65 72 73 69 6f 6e 73 68 |rsion \v|ersionsh|
|00000b70| 6f 72 74 5c 20 6f 66 20 | 53 57 49 2d 50 72 6f 6c |ort\ of |SWI-Prol|
|00000b80| 6f 67 2e 20 20 53 57 49 | 2d 50 72 6f 6c 6f 67 20 |og. SWI|-Prolog |
|00000b90| 68 61 73 0a 62 65 65 6e | 20 75 73 65 64 20 6e 6f |has.been| used no|
|00000ba0| 77 20 66 6f 72 20 73 65 | 76 65 72 61 6c 20 79 65 |w for se|veral ye|
|00000bb0| 61 72 73 2e 20 54 68 65 | 20 61 70 70 6c 69 63 61 |ars. The| applica|
|00000bc0| 74 69 6f 6e 20 72 61 6e | 67 65 20 69 6e 63 6c 75 |tion ran|ge inclu|
|00000bd0| 64 65 73 20 50 72 6f 6c | 6f 67 20 63 6f 75 72 73 |des Prol|og cours|
|00000be0| 65 0a 6d 61 74 65 72 69 | 61 6c 2c 20 6d 65 74 61 |e.materi|al, meta|
|00000bf0| 2d 69 6e 74 65 72 70 72 | 65 74 65 72 73 2c 20 73 |-interpr|eters, s|
|00000c00| 69 6d 75 6c 61 74 69 6f | 6e 20 6f 66 20 70 61 72 |imulatio|n of par|
|00000c10| 61 6c 6c 65 6c 20 50 72 | 6f 6c 6f 67 2c 20 6c 65 |allel Pr|olog, le|
|00000c20| 61 72 6e 69 6e 67 0a 73 | 79 73 74 65 6d 73 2c 20 |arning.s|ystems, |
|00000c30| 6e 61 74 75 72 61 6c 20 | 6c 61 6e 67 75 61 67 65 |natural |language|
|00000c40| 20 70 72 6f 63 65 73 73 | 69 6e 67 20 61 6e 64 20 | process|ing and |
|00000c50| 74 77 6f 20 6c 61 72 67 | 65 20 77 6f 72 6b 62 65 |two larg|e workbe|
|00000c60| 6e 63 68 65 73 20 66 6f | 72 0a 6b 6e 6f 77 6c 65 |nches fo|r.knowle|
|00000c70| 64 67 65 20 65 6e 67 69 | 6e 65 65 72 69 6e 67 2e |dge engi|neering.|
|00000c80| 20 41 6c 74 68 6f 75 67 | 68 20 77 65 20 65 78 70 | Althoug|h we exp|
|00000c90| 65 72 69 65 6e 63 65 64 | 20 72 61 74 68 65 72 20 |erienced| rather |
|00000ca0| 6f 62 76 69 6f 75 73 20 | 61 6e 64 0a 63 72 69 74 |obvious |and.crit|
|00000cb0| 69 63 61 6c 20 62 75 67 | 73 20 63 61 6e 20 72 65 |ical bug|s can re|
|00000cc0| 6d 61 69 6e 20 75 6e 6e | 6f 74 69 63 65 64 20 66 |main unn|oticed f|
|00000cd0| 6f 72 20 61 20 72 65 6d | 61 72 6b 61 62 6c 65 20 |or a rem|arkable |
|00000ce0| 6c 6f 6e 67 20 70 65 72 | 69 6f 64 2c 20 77 65 20 |long per|iod, we |
|00000cf0| 63 61 6e 0a 61 73 73 75 | 6d 65 20 74 68 65 20 62 |can.assu|me the b|
|00000d00| 61 73 69 63 20 50 72 6f | 6c 6f 67 20 73 79 73 74 |asic Pro|log syst|
|00000d10| 65 6d 20 69 73 20 66 61 | 69 72 6c 79 20 73 74 61 |em is fa|irly sta|
|00000d20| 62 6c 65 2e 20 42 75 67 | 73 20 63 61 6e 20 62 65 |ble. Bug|s can be|
|00000d30| 20 65 78 70 65 63 74 65 | 64 0a 69 6e 20 69 6e 66 | expecte|d.in inf|
|00000d40| 72 65 71 75 65 6e 74 6c | 79 20 75 73 65 64 20 62 |requentl|y used b|
|00000d50| 75 69 6c 74 69 6e 20 70 | 72 65 64 69 63 61 74 65 |uiltin p|redicate|
|00000d60| 73 2e 0a 0a 53 6f 6d 65 | 20 62 75 67 73 20 61 72 |s...Some| bugs ar|
|00000d70| 65 20 6b 6e 6f 77 6e 20 | 74 6f 20 74 68 65 20 61 |e known |to the a|
|00000d80| 75 74 68 6f 72 2e 20 54 | 68 65 79 20 61 72 65 20 |uthor. T|hey are |
|00000d90| 64 65 73 63 72 69 62 65 | 64 20 61 73 20 66 6f 6f |describe|d as foo|
|00000da0| 74 6e 6f 74 65 73 20 69 | 6e 0a 74 68 69 73 20 6d |tnotes i|n.this m|
|00000db0| 61 6e 75 61 6c 2e 0a 0a | 0a 5c 73 65 63 74 69 6f |anual...|.\sectio|
|00000dc0| 6e 7b 53 68 6f 75 6c 64 | 20 79 6f 75 20 62 65 20 |n{Should| you be |
|00000dd0| 55 73 69 6e 67 20 53 57 | 49 2d 50 72 6f 6c 6f 67 |Using SW|I-Prolog|
|00000de0| 3f 7d 0a 0a 54 68 65 72 | 65 20 61 72 65 20 61 20 |?}..Ther|e are a |
|00000df0| 6e 75 6d 62 65 72 20 6f | 66 20 72 65 61 73 6f 6e |number o|f reason|
|00000e00| 73 20 77 68 79 20 79 6f | 75 20 62 65 74 74 65 72 |s why yo|u better|
|00000e10| 20 63 68 6f 6f 73 65 20 | 61 20 63 6f 6d 6d 65 72 | choose |a commer|
|00000e20| 63 69 61 6c 20 50 72 6f | 6c 6f 67 0a 73 79 73 74 |cial Pro|log.syst|
|00000e30| 65 6d 2c 20 6f 72 20 61 | 6e 6f 74 68 65 72 20 61 |em, or a|nother a|
|00000e40| 63 61 64 65 6d 69 63 20 | 70 72 6f 64 75 63 74 3a |cademic |product:|
|00000e50| 0a 0a 5c 62 65 67 69 6e | 7b 69 74 65 6d 6c 69 73 |..\begin|{itemlis|
|00000e60| 74 7d 0a 20 20 20 20 5c | 69 74 65 6d 20 5b 53 57 |t}. \|item [SW|
|00000e70| 49 2d 50 72 6f 6c 6f 67 | 20 69 73 20 6e 6f 74 20 |I-Prolog| is not |
|00000e80| 73 75 70 70 6f 72 74 65 | 64 5d 0a 41 6c 74 68 6f |supporte|d].Altho|
|00000e90| 75 67 68 20 49 20 75 73 | 75 61 6c 6c 79 20 66 69 |ugh I us|ually fi|
|00000ea0| 78 20 62 75 67 73 20 73 | 68 6f 72 74 6c 79 20 61 |x bugs s|hortly a|
|00000eb0| 66 74 65 72 20 61 20 62 | 75 67 20 72 65 70 6f 72 |fter a b|ug repor|
|00000ec0| 74 20 61 72 72 69 76 65 | 73 2c 20 49 20 63 61 6e |t arrive|s, I can|
|00000ed0| 6e 6f 74 0a 70 72 6f 6d | 69 73 65 20 61 6e 79 74 |not.prom|ise anyt|
|00000ee0| 68 69 6e 67 2e 20 20 4e | 6f 77 20 74 68 61 74 20 |hing. N|ow that |
|00000ef0| 74 68 65 20 73 6f 75 72 | 63 65 73 20 61 72 65 20 |the sour|ces are |
|00000f00| 70 72 6f 76 69 64 65 64 | 2c 20 79 6f 75 20 63 61 |provided|, you ca|
|00000f10| 6e 20 61 6c 77 61 79 73 | 0a 64 69 67 20 69 6e 74 |n always|.dig int|
|00000f20| 6f 20 74 68 65 6d 20 79 | 6f 75 72 73 65 6c 66 2e |o them y|ourself.|
|00000f30| 0a 20 20 20 20 5c 69 74 | 65 6d 20 5b 4d 65 6d 6f |. \it|em [Memo|
|00000f40| 72 79 20 72 65 71 75 69 | 72 65 6d 65 6e 74 73 20 |ry requi|rements |
|00000f50| 61 6e 64 20 70 65 72 66 | 6f 72 6d 61 6e 63 65 20 |and perf|ormance |
|00000f60| 61 72 65 20 79 6f 75 72 | 20 66 69 72 73 74 20 63 |are your| first c|
|00000f70| 6f 6e 63 65 72 6e 73 5d | 0a 41 20 6e 75 6d 62 65 |oncerns]|.A numbe|
|00000f80| 72 20 6f 66 20 63 6f 6d | 6d 65 72 63 69 61 6c 20 |r of com|mercial |
|00000f90| 63 6f 6d 70 69 6c 65 72 | 73 20 61 72 65 20 6d 6f |compiler|s are mo|
|00000fa0| 72 65 20 6b 65 65 6e 20 | 6f 6e 20 6d 65 6d 6f 72 |re keen |on memor|
|00000fb0| 79 20 61 6e 64 20 70 65 | 72 66 6f 72 6d 61 6e 63 |y and pe|rformanc|
|00000fc0| 65 0a 74 68 61 6e 20 53 | 57 49 2d 50 72 6f 6c 6f |e.than S|WI-Prolo|
|00000fd0| 67 2e 20 20 49 20 64 6f | 20 6e 6f 74 20 77 69 73 |g. I do| not wis|
|00000fe0| 68 20 74 6f 20 73 61 63 | 72 69 66 69 63 65 20 73 |h to sac|rifice s|
|00000ff0| 6f 6d 65 20 6f 66 20 74 | 68 65 20 6e 69 63 65 20 |ome of t|he nice |
|00001000| 66 65 61 74 75 72 65 73 | 20 6f 66 0a 74 68 65 20 |features| of.the |
|00001010| 73 79 73 74 65 6d 2c 20 | 6e 6f 72 20 69 74 73 20 |system, |nor its |
|00001020| 70 6f 72 74 61 62 69 6c | 69 74 79 20 74 6f 20 63 |portabil|ity to c|
|00001030| 6f 6d 70 65 74 65 20 6f | 6e 20 72 61 77 20 70 65 |ompete o|n raw pe|
|00001040| 72 66 6f 72 6d 61 6e 63 | 65 2e 0a 20 20 20 20 5c |rformanc|e.. \|
|00001050| 69 74 65 6d 20 5b 59 6f | 75 20 6e 65 65 64 20 66 |item [Yo|u need f|
|00001060| 65 61 74 75 72 65 73 20 | 6e 6f 74 20 6f 66 66 65 |eatures |not offe|
|00001070| 72 65 64 20 62 79 20 53 | 57 49 2d 50 72 6f 6c 6f |red by S|WI-Prolo|
|00001080| 67 5d 0a 49 6e 20 74 68 | 69 73 20 63 61 73 65 20 |g].In th|is case |
|00001090| 79 6f 75 20 6d 61 79 20 | 77 69 73 68 20 74 6f 20 |you may |wish to |
|000010a0| 67 69 76 65 20 6d 65 20 | 73 75 67 67 65 73 74 69 |give me |suggesti|
|000010b0| 6f 6e 73 20 66 6f 72 20 | 65 78 74 65 6e 73 69 6f |ons for |extensio|
|000010c0| 6e 73 2e 20 49 66 0a 79 | 6f 75 20 68 61 76 65 20 |ns. If.y|ou have |
|000010d0| 67 72 65 61 74 20 70 6c | 61 6e 73 2c 20 70 6c 65 |great pl|ans, ple|
|000010e0| 61 73 65 20 63 6f 6e 74 | 61 63 74 20 6d 65 20 28 |ase cont|act me (|
|000010f0| 79 6f 75 20 6d 69 67 68 | 74 20 68 61 76 65 20 74 |you migh|t have t|
|00001100| 6f 20 69 6d 70 6c 65 6d | 65 6e 74 0a 74 68 65 6d |o implem|ent.them|
|00001110| 20 79 6f 75 72 73 65 6c | 66 20 68 6f 77 65 76 65 | yoursel|f howeve|
|00001120| 72 29 2e 0a 5c 65 6e 64 | 7b 69 74 65 6d 6c 69 73 |r)..\end|{itemlis|
|00001130| 74 7d 0a 0a 4f 6e 20 74 | 68 65 20 6f 74 68 65 72 |t}..On t|he other|
|00001140| 20 68 61 6e 64 2c 20 53 | 57 49 2d 50 72 6f 6c 6f | hand, S|WI-Prolo|
|00001150| 67 20 6f 66 66 65 72 73 | 20 73 6f 6d 65 20 6e 69 |g offers| some ni|
|00001160| 63 65 20 66 61 63 69 6c | 69 74 69 65 73 3a 0a 0a |ce facil|ities:..|
|00001170| 5c 62 65 67 69 6e 7b 69 | 74 65 6d 6c 69 73 74 7d |\begin{i|temlist}|
|00001180| 0a 20 20 20 20 5c 69 74 | 65 6d 20 5b 4e 69 63 65 |. \it|em [Nice|
|00001190| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 5d 0a 54 68 | environ|ment].Th|
|000011a0| 69 73 20 69 6e 63 6c 75 | 64 65 73 20 60 44 6f 20 |is inclu|des `Do |
|000011b0| 57 68 61 74 20 49 20 4d | 65 61 6e 27 2c 20 61 75 |What I M|ean', au|
|000011c0| 74 6f 6d 61 74 69 63 20 | 63 6f 6d 70 6c 65 74 69 |tomatic |completi|
|000011d0| 6f 6e 20 6f 66 20 61 74 | 6f 6d 20 6e 61 6d 65 73 |on of at|om names|
|000011e0| 2c 0a 68 69 73 74 6f 72 | 79 20 6d 65 63 68 61 6e |,.histor|y mechan|
|000011f0| 69 73 6d 20 61 6e 64 20 | 61 20 74 72 61 63 65 72 |ism and |a tracer|
|00001200| 20 74 68 61 74 20 6f 70 | 65 72 61 74 65 73 20 6f | that op|erates o|
|00001210| 6e 20 73 69 6e 67 6c 65 | 20 6b 65 79 2d 73 74 72 |n single| key-str|
|00001220| 6f 6b 65 73 2e 0a 49 6e | 74 65 72 66 61 63 65 73 |okes..In|terfaces|
|00001230| 20 74 6f 20 73 74 61 6e | 64 61 72 64 20 55 6e 69 | to stan|dard Uni|
|00001240| 78 20 65 64 69 74 6f 72 | 73 20 61 72 65 20 70 72 |x editor|s are pr|
|00001250| 6f 76 69 64 65 64 2c 20 | 61 73 20 77 65 6c 6c 20 |ovided, |as well |
|00001260| 61 73 20 61 20 66 61 63 | 69 6c 69 74 79 0a 74 6f |as a fac|ility.to|
|00001270| 20 6d 61 69 6e 74 61 69 | 6e 20 70 72 6f 67 72 61 | maintai|n progra|
|00001280| 6d 73 20 28 73 65 65 20 | 6d 61 6b 65 2f 30 29 2e |ms (see |make/0).|
|00001290| 0a 20 20 20 20 5c 69 74 | 65 6d 20 5b 56 65 72 79 |. \it|em [Very|
|000012a0| 20 66 61 73 74 20 63 6f | 6d 70 69 6c 65 72 5d 0a | fast co|mpiler].|
|000012b0| 54 68 65 20 63 6f 6d 70 | 69 6c 65 72 20 68 61 6e |The comp|iler han|
|000012c0| 64 6c 65 73 20 61 62 6f | 75 74 20 31 30 30 4b 20 |dles abo|ut 100K |
|000012d0| 62 79 74 65 73 20 70 65 | 72 20 73 65 63 6f 6e 64 |bytes pe|r second|
|000012e0| 20 6f 6e 20 61 20 53 50 | 41 52 43 2d 49 49 0a 70 | on a SP|ARC-II.p|
|000012f0| 72 6f 63 65 73 73 6f 72 | 2e 0a 20 20 20 20 5c 69 |rocessor|.. \i|
|00001300| 74 65 6d 20 5b 54 72 61 | 6e 73 70 61 72 65 6e 74 |tem [Tra|nsparent|
|00001310| 20 63 6f 6d 70 69 6c 65 | 64 20 63 6f 64 65 5d 0a | compile|d code].|
|00001320| 53 57 49 2d 50 72 6f 6c | 6f 67 20 63 6f 6d 70 69 |SWI-Prol|og compi|
|00001330| 6c 65 64 20 63 6f 64 65 | 20 63 61 6e 20 62 65 20 |led code| can be |
|00001340| 74 72 65 61 74 65 64 20 | 6a 75 73 74 20 61 73 20 |treated |just as |
|00001350| 69 6e 74 65 72 70 72 65 | 74 65 64 20 63 6f 64 65 |interpre|ted code|
|00001360| 3a 20 79 6f 75 0a 63 61 | 6e 20 6c 69 73 74 20 69 |: you.ca|n list i|
|00001370| 74 2c 20 74 72 61 63 65 | 20 69 74 2c 20 61 73 73 |t, trace| it, ass|
|00001380| 65 72 74 20 74 6f 20 6f | 72 20 72 65 74 72 61 63 |ert to o|r retrac|
|00001390| 74 20 66 72 6f 6d 20 69 | 74 2c 20 65 74 63 2e 20 |t from i|t, etc. |
|000013a0| 54 68 69 73 20 69 6d 70 | 6c 69 65 73 0a 79 6f 75 |This imp|lies.you|
|000013b0| 20 64 6f 20 6e 6f 74 20 | 68 61 76 65 20 74 6f 20 | do not |have to |
|000013c0| 64 65 63 69 64 65 20 62 | 65 66 6f 72 65 68 61 6e |decide b|eforehan|
|000013d0| 64 20 77 68 65 74 68 65 | 72 20 61 20 6d 6f 64 75 |d whethe|r a modu|
|000013e0| 6c 65 20 73 68 6f 75 6c | 64 20 62 65 20 6c 6f 61 |le shoul|d be loa|
|000013f0| 64 65 64 0a 66 6f 72 20 | 64 65 62 75 67 67 69 6e |ded.for |debuggin|
|00001400| 67 20 6f 72 20 6e 6f 74 | 2e 20 41 6c 73 6f 2c 20 |g or not|. Also, |
|00001410| 70 65 72 66 6f 72 6d 61 | 6e 63 65 20 69 73 20 6d |performa|nce is m|
|00001420| 75 63 68 20 62 65 74 74 | 65 72 20 74 68 61 6e 20 |uch bett|er than |
|00001430| 74 68 65 0a 70 65 72 66 | 6f 72 6d 61 6e 63 65 20 |the.perf|ormance |
|00001440| 6f 66 20 6d 6f 73 74 20 | 69 6e 74 65 72 70 72 65 |of most |interpre|
|00001450| 74 65 72 73 2e 0a 20 20 | 20 20 5c 69 74 65 6d 20 |ters.. | \item |
|00001460| 5b 50 72 6f 66 69 6c 69 | 6e 67 5d 0a 53 57 49 2d |[Profili|ng].SWI-|
|00001470| 50 72 6f 6c 6f 67 20 6f | 66 66 65 72 73 20 74 6f |Prolog o|ffers to|
|00001480| 6f 6c 73 20 66 6f 72 20 | 70 65 72 66 6f 72 6d 61 |ols for |performa|
|00001490| 6e 63 65 20 61 6e 61 6c | 79 73 69 73 2c 20 77 68 |nce anal|ysis, wh|
|000014a0| 69 63 68 20 63 61 6e 20 | 62 65 20 76 65 72 79 0a |ich can |be very.|
|000014b0| 75 73 65 66 75 6c 20 74 | 6f 20 6f 70 74 69 6d 69 |useful t|o optimi|
|000014c0| 73 65 20 70 72 6f 67 72 | 61 6d 73 2e 20 55 6e 6c |se progr|ams. Unl|
|000014d0| 65 73 73 20 79 6f 75 20 | 61 72 65 20 76 65 72 79 |ess you |are very|
|000014e0| 20 66 61 6d 69 6c 69 61 | 72 20 77 69 74 68 20 50 | familia|r with P|
|000014f0| 72 6f 6c 6f 67 0a 61 6e | 64 20 50 72 6f 6c 6f 67 |rolog.an|d Prolog|
|00001500| 20 70 65 72 66 6f 72 6d | 61 6e 63 65 20 63 6f 6e | perform|ance con|
|00001510| 73 69 64 65 72 61 74 69 | 6f 6e 73 20 74 68 69 73 |siderati|ons this|
|00001520| 20 6d 69 67 68 74 20 62 | 65 20 6d 6f 72 65 20 68 | might b|e more h|
|00001530| 65 6c 70 66 75 6c 20 74 | 68 61 6e 20 61 0a 62 65 |elpful t|han a.be|
|00001540| 74 74 65 72 20 63 6f 6d | 70 69 6c 65 72 20 77 69 |tter com|piler wi|
|00001550| 74 68 6f 75 74 20 74 68 | 65 73 65 20 66 61 63 69 |thout th|ese faci|
|00001560| 6c 69 74 69 65 73 2e 0a | 20 20 20 20 5c 69 74 65 |lities..| \ite|
|00001570| 6d 20 5b 46 6c 65 78 69 | 62 69 6c 69 74 79 5d 0a |m [Flexi|bility].|
|00001580| 53 57 49 2d 50 72 6f 6c | 6f 67 20 61 6c 6c 6f 77 |SWI-Prol|og allow|
|00001590| 73 20 66 6f 72 20 65 61 | 73 79 20 61 6e 64 20 66 |s for ea|sy and f|
|000015a0| 6c 65 78 69 62 6c 65 20 | 69 6e 74 65 67 72 61 74 |lexible |integrat|
|000015b0| 69 6f 6e 20 77 69 74 68 | 20 43 2c 20 62 6f 74 68 |ion with| C, both|
|000015c0| 0a 50 72 6f 6c 6f 67 20 | 63 61 6c 6c 69 6e 67 20 |.Prolog |calling |
|000015d0| 43 20 66 75 6e 63 74 69 | 6f 6e 73 20 61 73 20 43 |C functi|ons as C|
|000015e0| 20 63 61 6c 6c 69 6e 67 | 20 50 72 6f 6c 6f 67 20 | calling| Prolog |
|000015f0| 70 72 65 64 69 63 61 74 | 65 73 2e 20 20 53 57 49 |predicat|es. SWI|
|00001600| 2d 50 72 6f 6c 6f 67 0a | 69 73 20 70 72 6f 76 69 |-Prolog.|is provi|
|00001610| 64 65 64 20 69 6e 20 73 | 6f 75 72 63 65 20 66 6f |ded in s|ource fo|
|00001620| 72 6d 2c 20 77 68 69 63 | 68 20 69 6d 70 6c 69 65 |rm, whic|h implie|
|00001630| 73 20 53 57 49 2d 50 72 | 6f 6c 6f 67 20 63 61 6e |s SWI-Pr|olog can|
|00001640| 20 62 65 20 6c 69 6e 6b | 65 64 20 69 6e 0a 77 69 | be link|ed in.wi|
|00001650| 74 68 20 61 6e 6f 74 68 | 65 72 20 70 61 63 6b 61 |th anoth|er packa|
|00001660| 67 65 2e 20 20 43 6f 6d | 6d 61 6e 64 20 6c 69 6e |ge. Com|mand lin|
|00001670| 65 20 6f 70 74 69 6f 6e | 73 20 61 6e 64 20 70 72 |e option|s and pr|
|00001680| 65 64 69 63 61 74 65 73 | 20 74 6f 20 6f 62 74 61 |edicates| to obta|
|00001690| 69 6e 0a 69 6e 66 6f 72 | 6d 61 74 69 6f 6e 20 66 |in.infor|mation f|
|000016a0| 72 6f 6d 20 74 68 65 20 | 73 79 73 74 65 6d 20 61 |rom the |system a|
|000016b0| 6e 64 20 66 65 65 64 62 | 61 63 6b 20 69 6e 74 6f |nd feedb|ack into|
|000016c0| 20 74 68 65 20 73 79 73 | 74 65 6d 20 61 72 65 20 | the sys|tem are |
|000016d0| 70 72 6f 76 69 64 65 64 | 2e 0a 20 20 20 20 5c 69 |provided|.. \i|
|000016e0| 74 65 6d 20 5b 49 6e 74 | 65 67 72 61 74 69 6f 6e |tem [Int|egration|
|000016f0| 20 77 69 74 68 20 58 50 | 43 45 5d 0a 53 57 49 2d | with XP|CE].SWI-|
|00001700| 50 72 6f 6c 6f 67 20 6f | 66 66 65 72 73 20 61 20 |Prolog o|ffers a |
|00001710| 74 69 67 68 74 20 69 6e | 74 65 67 72 61 74 69 6f |tight in|tegratio|
|00001720| 6e 20 74 6f 20 74 68 65 | 20 4f 62 6a 65 63 74 20 |n to the| Object |
|00001730| 4f 72 69 65 6e 74 65 64 | 20 50 61 63 6b 61 67 65 |Oriented| Package|
|00001740| 0a 66 6f 72 20 55 73 65 | 72 20 49 6e 74 65 72 66 |.for Use|r Interf|
|00001750| 61 63 65 20 44 65 76 65 | 6c 6f 70 6d 65 6e 74 2c |ace Deve|lopment,|
|00001760| 20 63 61 6c 6c 65 64 20 | 58 50 43 45 20 5c 63 69 | called |XPCE \ci|
|00001770| 74 65 7b 50 31 30 39 38 | 3a 43 31 2e 36 7d 2e 0a |te{P1098|:C1.6}..|
|00001780| 58 50 43 45 20 61 6c 6c | 6f 77 73 20 79 6f 75 20 |XPCE all|ows you |
|00001790| 74 6f 20 69 6d 70 6c 65 | 6d 65 6e 74 20 67 72 61 |to imple|ment gra|
|000017a0| 70 68 69 63 61 6c 20 75 | 73 65 72 20 69 6e 74 65 |phical u|ser inte|
|000017b0| 72 66 61 63 65 73 20 74 | 68 61 74 20 61 72 65 0a |rfaces t|hat are.|
|000017c0| 73 6f 75 72 63 65 2d 63 | 6f 64 65 20 63 6f 6d 70 |source-c|ode comp|
|000017d0| 61 74 69 62 6c 65 20 6f | 76 65 72 20 55 6e 69 78 |atible o|ver Unix|
|000017e0| 2f 58 31 31 20 61 6e 64 | 20 57 69 6e 33 32 20 28 |/X11 and| Win32 (|
|000017f0| 57 69 6e 64 6f 77 73 20 | 39 35 20 61 6e 64 20 4e |Windows |95 and N|
|00001800| 54 29 2e 0a 5c 65 6e 64 | 7b 69 74 65 6d 6c 69 73 |T)..\end|{itemlis|
|00001810| 74 7d 0a 0a 0a 5c 69 6e | 70 75 74 7b 78 70 63 65 |t}...\in|put{xpce|
|00001820| 7d 0a 0a 5c 73 65 63 74 | 69 6f 6e 7b 56 65 72 73 |}..\sect|ion{Vers|
|00001830| 69 6f 6e 20 31 2e 35 20 | 52 65 6c 65 61 73 65 20 |ion 1.5 |Release |
|00001840| 4e 6f 74 65 73 7d 0a 0a | 54 68 65 72 65 20 61 72 |Notes}..|There ar|
|00001850| 65 20 6e 6f 74 20 6d 61 | 6e 79 20 63 68 61 6e 67 |e not ma|ny chang|
|00001860| 65 73 20 62 65 74 77 65 | 65 6e 20 76 65 72 73 69 |es betwe|en versi|
|00001870| 6f 6e 20 31 2e 34 20 61 | 6e 64 20 31 2e 35 2e 20 |on 1.4 a|nd 1.5. |
|00001880| 20 54 68 65 20 43 2d 73 | 6f 75 72 63 65 73 0a 68 | The C-s|ources.h|
|00001890| 61 76 65 20 62 65 65 6e | 20 63 6c 65 61 6e 65 64 |ave been| cleaned|
|000018a0| 20 61 6e 64 20 63 6f 6d | 6d 65 6e 74 73 20 68 61 | and com|ments ha|
|000018b0| 76 65 20 62 65 65 6e 20 | 75 70 64 61 74 65 64 2e |ve been |updated.|
|000018c0| 20 20 54 68 65 20 73 74 | 61 63 6b 20 6d 65 6d 6f | The st|ack memo|
|000018d0| 72 79 20 0a 6d 61 6e 61 | 67 65 6d 65 6e 74 20 62 |ry .mana|gement b|
|000018e0| 61 73 65 64 20 6f 6e 20 | 75 73 69 6e 67 20 74 68 |ased on |using th|
|000018f0| 65 20 4d 4d 55 20 68 61 | 73 20 62 65 65 6e 20 63 |e MMU ha|s been c|
|00001900| 68 61 6e 67 65 64 20 74 | 6f 20 72 75 6e 20 6f 6e |hanged t|o run on|
|00001910| 20 61 20 6e 75 6d 62 65 | 72 0a 6f 66 20 53 79 73 | a numbe|r.of Sys|
|00001920| 74 65 6d 2d 56 20 55 6e | 69 78 20 73 79 73 74 65 |tem-V Un|ix syste|
|00001930| 6d 73 20 6f 66 66 65 72 | 69 6e 67 20 73 68 61 72 |ms offer|ing shar|
|00001940| 65 64 20 6d 65 6d 6f 72 | 79 2e 20 20 48 61 6e 64 |ed memor|y. Hand|
|00001950| 6c 69 6e 67 20 64 61 74 | 65 73 20 68 61 73 0a 62 |ling dat|es has.b|
|00001960| 65 65 6e 20 63 68 61 6e | 67 65 64 2e 20 20 41 6c |een chan|ged. Al|
|00001970| 6c 20 66 75 6e 63 74 69 | 6f 6e 73 20 68 61 6e 64 |l functi|ons hand|
|00001980| 6c 69 6e 67 20 64 61 74 | 65 73 20 6e 6f 77 20 72 |ling dat|es now r|
|00001990| 65 74 75 72 6e 20 61 20 | 66 6c 6f 61 74 69 6e 67 |eturn a |floating|
|000019a0| 0a 70 6f 69 6e 74 20 6e | 75 6d 62 65 72 2c 20 65 |.point n|umber, e|
|000019b0| 78 70 72 65 73 73 69 6e | 67 20 74 68 65 20 74 69 |xpressin|g the ti|
|000019c0| 6d 65 20 69 6e 20 73 65 | 63 6f 6e 64 73 20 73 69 |me in se|conds si|
|000019d0| 6e 63 65 20 4a 61 6e 75 | 61 72 79 20 31 2c 20 31 |nce Janu|ary 1, 1|
|000019e0| 39 37 30 2e 0a 41 20 70 | 72 65 64 69 63 61 74 65 |970..A p|redicate|
|000019f0| 20 63 6f 6e 76 65 72 74 | 5f 74 69 6d 65 2f 38 20 | convert|_time/8 |
|00001a00| 69 73 20 61 76 61 69 6c | 61 62 6c 65 20 74 6f 20 |is avail|able to |
|00001a10| 67 65 74 20 74 68 65 20 | 79 65 61 72 2c 20 6d 6f |get the |year, mo|
|00001a20| 6e 74 68 2c 20 65 74 63 | 2e 0a 54 68 65 20 70 72 |nth, etc|..The pr|
|00001a30| 65 64 69 63 61 74 65 20 | 74 69 6d 65 2f 36 20 68 |edicate |time/6 h|
|00001a40| 61 73 20 62 65 65 6e 20 | 64 65 6c 65 74 65 64 2e |as been |deleted.|
|00001a50| 20 20 67 65 74 5f 74 69 | 6d 65 2f 31 20 61 6e 64 | get_ti|me/1 and|
|00001a60| 20 63 6f 6e 76 65 72 74 | 5f 74 69 6d 65 2f 38 0a | convert|_time/8.|
|00001a70| 74 6f 67 65 74 68 65 72 | 20 64 6f 20 74 68 65 20 |together| do the |
|00001a80| 73 61 6d 65 2e 0a 0a 46 | 72 6f 6d 20 76 65 72 73 |same...F|rom vers|
|00001a90| 69 6f 6e 20 31 2e 35 2c | 20 74 68 65 20 73 79 73 |ion 1.5,| the sys|
|00001aa0| 74 65 6d 20 69 73 20 64 | 69 73 74 72 69 62 75 74 |tem is d|istribut|
|00001ab0| 65 64 20 69 6e 20 73 6f | 75 72 63 65 20 66 6f 72 |ed in so|urce for|
|00001ac0| 6d 2c 20 72 61 74 68 65 | 72 20 74 68 61 6e 0a 69 |m, rathe|r than.i|
|00001ad0| 6e 20 6f 62 6a 65 63 74 | 20 66 6f 72 6d 20 61 73 |n object| form as|
|00001ae0| 20 75 73 65 64 20 77 69 | 74 68 20 70 72 65 76 69 | used wi|th previ|
|00001af0| 6f 75 73 20 72 65 6c 65 | 61 73 65 73 2e 20 20 54 |ous rele|ases. T|
|00001b00| 68 69 73 20 61 6c 6c 6f | 77 73 20 75 73 65 72 73 |his allo|ws users|
|00001b10| 20 74 6f 20 70 6f 72 74 | 0a 53 57 49 2d 50 72 6f | to port|.SWI-Pro|
|00001b20| 6c 6f 67 20 74 6f 20 6e | 65 77 20 6d 61 63 68 69 |log to n|ew machi|
|00001b30| 6e 65 73 2c 20 65 78 74 | 65 6e 64 20 61 6e 64 20 |nes, ext|end and |
|00001b40| 69 6d 70 72 6f 76 65 20 | 74 68 65 20 73 79 73 74 |improve |the syst|
|00001b50| 65 6d 2e 20 20 49 66 20 | 79 6f 75 20 77 61 6e 74 |em. If |you want|
|00001b60| 0a 79 6f 75 72 20 63 68 | 61 6e 67 65 73 20 74 6f |.your ch|anges to|
|00001b70| 20 62 65 20 69 6e 63 6f | 72 70 6f 72 61 74 65 64 | be inco|rporated|
|00001b80| 20 69 6e 20 74 68 65 20 | 6e 65 78 74 20 72 65 6c | in the |next rel|
|00001b90| 65 61 73 65 2c 20 70 6c | 65 61 73 65 20 69 6e 64 |ease, pl|ease ind|
|00001ba0| 69 63 61 74 65 0a 61 6c | 6c 20 63 68 61 6e 67 65 |icate.al|l change|
|00001bb0| 73 20 75 73 69 6e 67 20 | 61 20 43 2d 70 72 65 70 |s using |a C-prep|
|00001bc0| 72 6f 63 65 73 73 6f 72 | 20 66 6c 61 67 20 61 6e |rocessor| flag an|
|00001bd0| 64 20 73 65 6e 64 20 63 | 6f 6d 70 6c 65 74 65 20 |d send c|omplete |
|00001be0| 73 6f 75 72 63 65 20 66 | 69 6c 65 73 0a 62 61 63 |source f|iles.bac|
|00001bf0| 6b 20 74 6f 20 6d 65 2e | 20 20 44 69 66 66 65 72 |k to me.| Differ|
|00001c00| 65 6e 63 65 20 6c 69 73 | 74 69 6e 67 73 20 61 72 |ence lis|tings ar|
|00001c10| 65 20 6f 66 20 6e 6f 20 | 75 73 65 2c 20 61 73 20 |e of no |use, as |
|00001c20| 49 20 67 65 6e 65 72 61 | 6c 6c 79 20 77 6f 6e 27 |I genera|lly won'|
|00001c30| 74 20 68 61 76 65 0a 65 | 78 61 63 74 6c 79 20 74 |t have.e|xactly t|
|00001c40| 68 65 20 73 61 6d 65 20 | 76 65 72 73 69 6f 6e 20 |he same |version |
|00001c50| 61 72 6f 75 6e 64 2e 0a | 0a 0a 5c 73 65 63 74 69 |around..|..\secti|
|00001c60| 6f 6e 7b 56 65 72 73 69 | 6f 6e 20 31 2e 36 20 52 |on{Versi|on 1.6 R|
|00001c70| 65 6c 65 61 73 65 20 4e | 6f 74 65 73 7d 0a 0a 56 |elease N|otes}..V|
|00001c80| 65 72 73 69 6f 6e 20 31 | 2e 36 20 69 73 20 63 6f |ersion 1|.6 is co|
|00001c90| 6d 70 6c 65 74 65 6c 79 | 20 63 6f 6d 70 61 74 69 |mpletely| compati|
|00001ca0| 62 6c 65 20 77 69 74 68 | 20 76 65 72 73 69 6f 6e |ble with| version|
|00001cb0| 20 31 2e 35 2e 20 20 53 | 6f 6d 65 20 6e 65 77 20 | 1.5. S|ome new |
|00001cc0| 66 65 61 74 75 72 65 73 | 0a 68 61 76 65 20 62 65 |features|.have be|
|00001cd0| 65 6e 20 61 64 64 65 64 | 2c 20 74 68 65 20 73 79 |en added|, the sy|
|00001ce0| 73 74 65 6d 20 68 61 73 | 20 62 65 65 6e 20 70 6f |stem has| been po|
|00001cf0| 72 74 65 64 20 74 6f 20 | 76 61 72 69 6f 75 73 20 |rted to |various |
|00001d00| 6e 65 77 20 70 6c 61 74 | 66 6f 72 6d 73 20 61 6e |new plat|forms an|
|00001d10| 64 0a 74 68 65 72 65 20 | 69 73 20 61 20 70 72 6f |d.there |is a pro|
|00001d20| 76 69 73 69 6f 6e 61 6c | 20 69 6e 74 65 72 66 61 |visional| interfa|
|00001d30| 63 65 20 74 6f 20 47 4e | 55 7e 45 6d 61 63 73 2e |ce to GN|U~Emacs.|
|00001d40| 20 20 54 68 69 73 20 69 | 6e 74 65 72 66 61 63 65 | This i|nterface|
|00001d50| 20 77 69 6c 6c 20 62 65 | 0a 69 6d 70 72 6f 76 65 | will be|.improve|
|00001d60| 64 20 61 6e 64 20 64 6f | 63 75 6d 65 6e 74 65 64 |d and do|cumented|
|00001d70| 20 6c 61 74 65 72 2e 0a | 0a 54 68 65 20 57 41 4d | later..|.The WAM|
|00001d80| 20 76 69 72 74 75 61 6c | 2d 6d 61 63 68 69 6e 65 | virtual|-machine|
|00001d90| 20 69 6e 74 65 72 70 72 | 65 74 65 72 20 68 61 73 | interpr|eter has|
|00001da0| 20 62 65 65 6e 20 6d 6f | 64 69 66 69 65 64 20 74 | been mo|dified t|
|00001db0| 6f 20 75 73 65 20 47 43 | 43 2d 32 27 73 0a 73 75 |o use GC|C-2's.su|
|00001dc0| 70 70 6f 72 74 20 66 6f | 72 20 74 68 72 65 61 64 |pport fo|r thread|
|00001dd0| 65 64 20 63 6f 64 65 2e | 0a 0a 46 72 6f 6d 20 76 |ed code.|..From v|
|00001de0| 65 72 73 69 6f 6e 20 31 | 2e 36 2c 20 74 68 65 20 |ersion 1|.6, the |
|00001df0| 73 6f 75 72 63 65 73 20 | 61 72 65 20 6e 6f 77 20 |sources |are now |
|00001e00| 76 65 72 73 69 6f 6e 65 | 64 20 75 73 69 6e 67 20 |versione|d using |
|00001e10| 74 68 65 20 43 56 53 20 | 76 65 72 73 69 6f 6e 0a |the CVS |version.|
|00001e20| 63 6f 6e 74 72 6f 6c 20 | 73 79 73 74 65 6d 2e 0a |control |system..|
|00001e30| 0a 0a 5c 73 65 63 74 69 | 6f 6e 7b 56 65 72 73 69 |..\secti|on{Versi|
|00001e40| 6f 6e 20 31 2e 37 20 52 | 65 6c 65 61 73 65 20 4e |on 1.7 R|elease N|
|00001e50| 6f 74 65 73 7d 0a 0a 56 | 65 72 73 69 6f 6e 20 31 |otes}..V|ersion 1|
|00001e60| 2e 37 20 69 6e 74 65 67 | 72 61 74 65 73 20 74 68 |.7 integ|rates th|
|00001e70| 65 20 47 4e 55 2d 72 65 | 61 64 6c 69 6e 65 20 6c |e GNU-re|adline l|
|00001e80| 69 62 72 61 72 79 2c 20 | 6f 66 66 65 72 69 6e 67 |ibrary, |offering|
|00001e90| 20 70 6f 77 65 72 66 75 | 6c 0a 68 69 73 74 6f 72 | powerfu|l.histor|
|00001ea0| 79 20 61 6e 64 20 63 6f | 6d 6d 61 6e 64 2d 6c 69 |y and co|mmand-li|
|00001eb0| 6e 65 20 65 64 69 74 69 | 6e 67 20 62 6f 74 68 20 |ne editi|ng both |
|00001ec0| 75 73 69 6e 67 20 45 6d | 61 63 73 20 61 6e 64 20 |using Em|acs and |
|00001ed0| 76 69 20 6b 65 79 2d 62 | 69 6e 64 69 6e 67 73 2e |vi key-b|indings.|
|00001ee0| 0a 0a 0a 5c 73 65 63 74 | 69 6f 6e 7b 56 65 72 73 |...\sect|ion{Vers|
|00001ef0| 69 6f 6e 20 31 2e 38 20 | 52 65 6c 65 61 73 65 20 |ion 1.8 |Release |
|00001f00| 4e 6f 74 65 73 7d 0a 0a | 56 65 72 73 69 6f 6e 20 |Notes}..|Version |
|00001f10| 31 2e 38 20 6f 66 66 65 | 72 73 20 61 20 73 74 61 |1.8 offe|rs a sta|
|00001f20| 63 6b 2d 73 68 69 66 74 | 65 72 20 74 6f 20 70 72 |ck-shift|er to pr|
|00001f30| 6f 76 69 64 65 20 64 79 | 6e 61 6d 69 63 61 6c 6c |ovide dy|namicall|
|00001f40| 79 20 65 78 70 61 6e 64 | 69 6e 67 0a 73 74 61 63 |y expand|ing.stac|
|00001f50| 6b 73 20 6f 6e 20 6d 61 | 63 68 69 6e 65 73 20 74 |ks on ma|chines t|
|00001f60| 68 61 74 20 64 6f 20 6e | 6f 74 20 6f 66 66 65 72 |hat do n|ot offer|
|00001f70| 20 6f 70 65 72 61 74 69 | 6e 67 2d 73 79 73 74 65 | operati|ng-syste|
|00001f80| 6d 20 73 75 70 70 6f 72 | 74 20 66 6f 72 0a 69 6d |m suppor|t for.im|
|00001f90| 70 6c 65 6d 65 6e 74 69 | 6e 67 20 64 79 6e 61 6d |plementi|ng dynam|
|00001fa0| 69 63 20 73 74 61 63 6b | 73 2e 0a 0a 0a 5c 73 65 |ic stack|s....\se|
|00001fb0| 63 74 69 6f 6e 7b 56 65 | 72 73 69 6f 6e 20 31 2e |ction{Ve|rsion 1.|
|00001fc0| 39 20 52 65 6c 65 61 73 | 65 20 4e 6f 74 65 73 7d |9 Releas|e Notes}|
|00001fd0| 0a 0a 56 65 72 73 69 6f | 6e 20 31 2e 39 20 6f 66 |..Versio|n 1.9 of|
|00001fe0| 66 65 72 73 20 62 65 74 | 74 65 72 20 70 6f 72 74 |fers bet|ter port|
|00001ff0| 61 62 69 6c 69 74 79 20 | 69 6e 63 6c 75 64 69 6e |ability |includin|
|00002000| 67 20 61 6e 20 4d 53 2d | 57 69 6e 64 6f 77 73 20 |g an MS-|Windows |
|00002010| 33 2e 31 0a 76 65 72 73 | 69 6f 6e 2e 20 20 43 68 |3.1.vers|ion. Ch|
|00002020| 61 6e 67 65 73 20 74 6f | 20 74 68 65 20 50 72 6f |anges to| the Pro|
|00002030| 6c 6f 67 20 73 79 73 74 | 65 6d 20 69 6e 63 6c 75 |log syst|em inclu|
|00002040| 64 65 3a 0a 0a 5c 62 65 | 67 69 6e 7b 69 74 65 6d |de:..\be|gin{item|
|00002050| 6c 69 73 74 7d 0a 20 20 | 20 20 5c 69 74 65 6d 20 |list}. | \item |
|00002060| 5b 52 65 64 65 66 69 6e | 69 74 69 6f 6e 20 6f 66 |[Redefin|ition of|
|00002070| 20 73 79 73 74 65 6d 20 | 70 72 65 64 69 63 61 74 | system |predicat|
|00002080| 65 73 5d 0a 52 65 64 65 | 66 69 6e 69 74 69 6f 6e |es].Rede|finition|
|00002090| 20 6f 66 20 73 79 73 74 | 65 6d 20 70 72 65 64 69 | of syst|em predi|
|000020a0| 63 61 74 65 73 20 77 61 | 73 20 61 6c 6c 6f 77 65 |cates wa|s allowe|
|000020b0| 64 20 73 69 6c 65 6e 74 | 6c 79 20 69 6e 20 6f 6c |d silent|ly in ol|
|000020c0| 64 65 72 20 76 65 72 73 | 69 6f 6e 73 2e 0a 56 65 |der vers|ions..Ve|
|000020d0| 72 73 69 6f 6e 20 31 2e | 39 20 6f 6e 6c 79 20 61 |rsion 1.|9 only a|
|000020e0| 6c 6c 6f 77 73 20 69 74 | 20 69 66 20 74 68 65 20 |llows it| if the |
|000020f0| 6e 65 77 20 64 65 66 69 | 6e 69 74 69 6f 6e 20 69 |new defi|nition i|
|00002100| 73 20 68 65 61 64 65 64 | 20 62 79 20 61 0a 3a 2d |s headed| by a.:-|
|00002110| 20 72 65 64 65 66 69 6e | 65 5f 73 79 73 74 65 6d | redefin|e_system|
|00002120| 5f 70 72 65 64 69 63 61 | 74 65 2f 31 20 64 69 72 |_predica|te/1 dir|
|00002130| 65 63 74 69 76 65 2e 0a | 20 20 20 20 5c 69 74 65 |ective..| \ite|
|00002140| 6d 20 5b 60 41 6e 73 77 | 65 72 27 20 72 65 75 73 |m [`Answ|er' reus|
|00002150| 65 5d 0a 54 68 65 20 74 | 6f 70 6c 65 76 65 6c 20 |e].The t|oplevel |
|00002160| 6d 61 69 6e 74 61 69 6e | 73 20 61 20 74 61 62 6c |maintain|s a tabl|
|00002170| 65 20 6f 66 20 62 69 6e | 64 69 6e 67 73 20 72 65 |e of bin|dings re|
|00002180| 74 75 72 6e 65 64 20 62 | 79 20 74 6f 70 6c 65 76 |turned b|y toplev|
|00002190| 65 6c 20 67 6f 61 6c 73 | 20 61 6e 64 0a 61 6c 6c |el goals| and.all|
|000021a0| 6f 77 73 20 66 6f 72 20 | 72 65 75 73 65 20 6f 66 |ows for |reuse of|
|000021b0| 20 74 68 65 73 65 20 62 | 69 6e 64 69 6e 67 73 20 | these b|indings |
|000021c0| 62 79 20 70 72 65 66 69 | 78 69 6e 67 20 74 68 65 |by prefi|xing the|
|000021d0| 20 76 61 72 69 61 62 6c | 65 73 20 77 69 74 68 20 | variabl|es with |
|000021e0| 74 68 65 20 5c 24 0a 73 | 69 67 6e 2e 20 20 53 65 |the \$.s|ign. Se|
|000021f0| 65 20 5c 73 65 63 72 65 | 66 7b 74 6f 70 76 61 72 |e \secre|f{topvar|
|00002200| 73 7d 2e 0a 20 20 20 20 | 5c 69 74 65 6d 20 5b 42 |s}.. |\item [B|
|00002210| 65 74 74 65 72 20 73 6f | 75 72 63 65 20 63 6f 64 |etter so|urce cod|
|00002220| 65 20 61 64 6d 69 6e 69 | 73 74 72 61 74 69 6f 6e |e admini|stration|
|00002230| 5d 0a 41 6c 6c 6f 77 73 | 20 66 6f 72 20 70 72 6f |].Allows| for pro|
|00002240| 70 65 72 20 75 70 64 61 | 74 69 6e 67 20 6f 66 20 |per upda|ting of |
|00002250| 6d 75 6c 74 69 66 69 6c | 65 20 70 72 65 64 69 63 |multifil|e predic|
|00002260| 61 74 65 73 20 61 6e 64 | 20 66 69 6e 64 69 6e 67 |ates and| finding|
|00002270| 20 74 68 65 0a 73 6f 75 | 72 63 65 73 20 6f 66 20 | the.sou|rces of |
|00002280| 69 6e 64 69 76 69 64 75 | 61 6c 20 63 6c 61 75 73 |individu|al claus|
|00002290| 65 73 2e 0a 5c 65 6e 64 | 7b 69 74 65 6d 6c 69 73 |es..\end|{itemlis|
|000022a0| 74 7d 0a 0a 0a 5c 73 65 | 63 74 69 6f 6e 7b 56 65 |t}...\se|ction{Ve|
|000022b0| 72 73 69 6f 6e 20 32 2e | 30 20 52 65 6c 65 61 73 |rsion 2.|0 Releas|
|000022c0| 65 20 4e 6f 74 65 73 7d | 0a 0a 5c 69 6e 64 65 78 |e Notes}|..\index|
|000022d0| 7b 57 69 6e 33 32 73 7d | 0a 56 65 72 73 69 6f 6e |{Win32s}|.Version|
|000022e0| 20 32 2e 30 20 69 73 20 | 66 69 72 73 74 20 6f 66 | 2.0 is |first of|
|000022f0| 20 61 6c 6c 20 61 20 66 | 72 65 65 7a 65 20 6f 66 | all a f|reeze of|
|00002300| 20 61 6c 6c 20 74 68 65 | 20 66 65 61 74 75 72 65 | all the| feature|
|00002310| 73 20 61 64 64 65 64 20 | 74 6f 20 74 68 65 0a 76 |s added |to the.v|
|00002320| 61 72 69 6f 75 73 20 31 | 2e 39 2e 78 20 72 65 6c |arious 1|.9.x rel|
|00002330| 65 61 73 65 73 2e 20 20 | 56 65 72 73 69 6f 6e 20 |eases. |Version |
|00002340| 32 2e 30 2e 36 20 66 6f | 72 20 50 43 20 68 61 73 |2.0.6 fo|r PC has|
|00002350| 20 6d 6f 76 65 64 20 66 | 72 6f 6d 20 74 68 65 20 | moved f|rom the |
|00002360| 57 41 54 43 4f 4d 0a 43 | 20 33 32 2d 62 69 74 20 |WATCOM.C| 32-bit |
|00002370| 77 69 6e 64 6f 77 73 20 | 65 78 74 65 6e 64 65 72 |windows |extender|
|00002380| 20 74 6f 20 57 69 6e 64 | 6f 77 73 7e 4e 54 20 61 | to Wind|ows~NT a|
|00002390| 6e 64 20 72 75 6e 73 20 | 75 6e 64 65 72 20 57 69 |nd runs |under Wi|
|000023a0| 6e 64 6f 77 73 20 33 2e | 31 20 75 73 69 6e 67 0a |ndows 3.|1 using.|
|000023b0| 74 68 65 20 57 69 6e 33 | 32 73 20 4e 54 20 65 6d |the Win3|2s NT em|
|000023c0| 75 6c 61 74 6f 72 2e 0a | 0a 4e 65 77 20 66 65 61 |ulator..|.New fea|
|000023d0| 74 75 72 65 73 20 6f 66 | 66 65 72 65 64 3a 0a 0a |tures of|fered:..|
|000023e0| 5c 62 65 67 69 6e 7b 69 | 74 65 6d 6c 69 73 74 7d |\begin{i|temlist}|
|000023f0| 0a 20 20 20 20 5c 69 74 | 65 6d 20 5b 33 32 2d 62 |. \it|em [32-b|
|00002400| 69 74 20 56 69 72 74 75 | 61 6c 20 4d 61 63 68 69 |it Virtu|al Machi|
|00002410| 6e 65 5d 0a 52 65 6d 6f | 76 65 73 20 76 61 72 69 |ne].Remo|ves vari|
|00002420| 6f 75 73 20 6c 69 6d 69 | 74 73 20 61 6e 64 20 69 |ous limi|ts and i|
|00002430| 6d 70 72 6f 76 65 73 20 | 70 65 72 66 6f 72 6d 61 |mproves |performa|
|00002440| 6e 63 65 2e 0a 20 20 20 | 20 5c 69 74 65 6d 20 5b |nce.. | \item [|
|00002450| 49 6e 6c 69 6e 65 20 66 | 6f 72 65 69 67 6e 20 66 |Inline f|oreign f|
|00002460| 75 6e 63 74 69 6f 6e 73 | 5d 0a 60 53 69 6d 70 6c |unctions|].`Simpl|
|00002470| 65 27 20 66 6f 72 65 69 | 67 6e 20 70 72 65 64 69 |e' forei|gn predi|
|00002480| 63 61 74 65 73 20 6e 6f | 20 6c 6f 6e 67 65 72 20 |cates no| longer |
|00002490| 62 75 69 6c 64 20 61 20 | 50 72 6f 6c 6f 67 20 73 |build a |Prolog s|
|000024a0| 74 61 63 6b 2d 66 72 61 | 6d 65 2c 20 62 75 74 0a |tack-fra|me, but.|
|000024b0| 61 72 65 20 64 69 72 65 | 63 74 6c 79 20 63 61 6c |are dire|ctly cal|
|000024c0| 6c 65 64 20 66 72 6f 6d | 20 74 68 65 20 56 4d 2e |led from| the VM.|
|000024d0| 20 20 4e 6f 74 61 62 6c | 79 20 70 72 6f 76 69 64 | Notabl|y provid|
|000024e0| 65 73 20 61 20 73 70 65 | 65 64 75 70 20 66 6f 72 |es a spe|edup for|
|000024f0| 20 74 68 65 0a 74 65 73 | 74 20 70 72 65 64 69 63 | the.tes|t predic|
|00002500| 61 74 65 73 20 73 75 63 | 68 20 61 73 20 76 61 72 |ates suc|h as var|
|00002510| 2f 31 2c 20 65 74 63 2e | 0a 20 20 20 20 5c 69 74 |/1, etc.|. \it|
|00002520| 65 6d 20 5b 56 61 72 69 | 6f 75 73 20 63 6f 6d 70 |em [Vari|ous comp|
|00002530| 61 74 69 62 69 6c 69 74 | 79 20 69 6d 70 72 6f 76 |atibilit|y improv|
|00002540| 65 6d 65 6e 74 73 5d 0a | 20 20 20 20 5c 69 74 65 |ements].| \ite|
|00002550| 6d 20 5b 53 74 72 65 61 | 6d 20 62 61 73 65 64 20 |m [Strea|m based |
|00002560| 49 2f 4f 20 6c 69 62 72 | 61 72 79 5d 0a 41 6c 6c |I/O libr|ary].All|
|00002570| 20 53 57 49 2d 50 72 6f | 6c 6f 67 27 73 20 49 2f | SWI-Pro|log's I/|
|00002580| 4f 20 69 73 20 6e 6f 77 | 20 68 61 6e 64 6c 65 64 |O is now| handled|
|00002590| 20 62 79 20 74 68 65 20 | 73 74 72 65 61 6d 2d 70 | by the |stream-p|
|000025a0| 61 63 6b 61 67 65 20 64 | 65 66 69 6e 65 64 20 69 |ackage d|efined i|
|000025b0| 6e 0a 74 68 65 20 66 6f | 72 65 69 67 6e 20 69 6e |n.the fo|reign in|
|000025c0| 63 6c 75 64 65 20 66 69 | 6c 65 20 5c 66 69 6c 65 |clude fi|le \file|
|000025d0| 7b 53 57 49 2d 53 74 72 | 65 61 6d 2e 68 7d 2e 20 |{SWI-Str|eam.h}. |
|000025e0| 50 68 79 73 69 63 61 6c | 20 49 2f 4f 20 6f 66 0a |Physical| I/O of.|
|000025f0| 50 72 6f 6c 6f 67 20 73 | 74 72 65 61 6d 73 20 6d |Prolog s|treams m|
|00002600| 61 79 20 62 65 20 72 65 | 64 65 66 69 6e 65 64 20 |ay be re|defined |
|00002610| 74 68 72 6f 75 67 68 20 | 74 68 65 20 66 6f 72 65 |through |the fore|
|00002620| 69 67 6e 20 6c 61 6e 67 | 75 61 67 65 20 69 6e 74 |ign lang|uage int|
|00002630| 65 72 66 61 63 65 2c 0a | 66 61 63 69 6c 69 74 61 |erface,.|facilita|
|00002640| 74 69 6e 67 20 6d 75 63 | 68 20 73 69 6d 70 6c 65 |ting muc|h simple|
|00002650| 72 20 69 6e 74 65 67 72 | 61 74 69 6f 6e 20 69 6e |r integr|ation in|
|00002660| 20 77 69 6e 64 6f 77 20 | 65 6e 76 69 72 6f 6e 6d | window |environm|
|00002670| 65 6e 74 73 2e 0a 5c 65 | 6e 64 7b 69 74 65 6d 6c |ents..\e|nd{iteml|
|00002680| 69 73 74 7d 0a 0a 56 65 | 72 73 69 6f 6e 20 32 2e |ist}..Ve|rsion 2.|
|00002690| 30 2e 36 20 6f 66 66 65 | 72 73 20 61 20 66 65 77 |0.6 offe|rs a few|
|000026a0| 20 69 6e 63 6f 6d 70 61 | 74 69 62 69 6c 69 74 69 | incompa|tibiliti|
|000026b0| 65 73 3a 0a 0a 5c 62 65 | 67 69 6e 7b 69 74 65 6d |es:..\be|gin{item|
|000026c0| 6c 69 73 74 7d 0a 20 20 | 20 20 5c 69 74 65 6d 20 |list}. | \item |
|000026d0| 5b 72 65 74 72 61 63 74 | 61 6c 6c 2f 31 5d 0a 49 |[retract|all/1].I|
|000026e0| 6e 20 70 72 65 76 69 6f | 75 73 20 72 65 6c 65 61 |n previo|us relea|
|000026f0| 73 65 73 2c 20 74 68 65 | 20 64 65 66 69 6e 69 74 |ses, the| definit|
|00002700| 69 6f 6e 20 6f 66 20 72 | 65 74 72 61 63 74 61 6c |ion of r|etractal|
|00002710| 6c 2f 31 20 77 61 73 3a | 0a 5c 62 65 67 69 6e 7b |l/1 was:|.\begin{|
|00002720| 63 6f 64 65 7d 0a 72 65 | 74 72 61 63 74 61 6c 6c |code}.re|tractall|
|00002730| 28 54 65 72 6d 29 20 3a | 2d 0a 20 20 20 20 20 20 |(Term) :|-. |
|00002740| 20 20 72 65 74 72 61 63 | 74 28 54 65 72 6d 29 2c | retrac|t(Term),|
|00002750| 0a 20 20 20 20 20 20 20 | 20 66 61 69 6c 2e 0a 72 |. | fail..r|
|00002760| 65 74 72 61 63 74 61 6c | 6c 28 5f 29 2e 0a 5c 65 |etractal|l(_)..\e|
|00002770| 6e 64 7b 63 6f 64 65 7d | 0a 41 73 20 66 72 6f 6d |nd{code}|.As from|
|00002780| 20 76 65 72 73 69 6f 6e | 20 32 2e 30 2e 36 2c 20 | version| 2.0.6, |
|00002790| 72 65 74 72 61 63 74 61 | 6c 6c 2f 31 20 69 73 20 |retracta|ll/1 is |
|000027a0| 69 6d 70 6c 65 6d 65 6e | 74 65 64 20 61 73 20 61 |implemen|ted as a|
|000027b0| 20 64 65 74 65 72 6d 69 | 6e 69 73 74 69 63 0a 66 | determi|nistic.f|
|000027c0| 6f 72 65 69 67 6e 20 70 | 72 65 64 69 63 61 74 65 |oreign p|redicate|
|000027d0| 20 63 6f 6d 70 61 74 69 | 62 6c 65 20 77 69 74 68 | compati|ble with|
|000027e0| 20 51 75 69 6e 74 75 73 | 20 50 72 6f 6c 6f 67 2e | Quintus| Prolog.|
|000027f0| 20 20 49 74 20 62 65 68 | 61 76 65 73 20 61 73 3a | It beh|aves as:|
|00002800| 0a 5c 62 65 67 69 6e 7b | 63 6f 64 65 7d 0a 72 65 |.\begin{|code}.re|
|00002810| 74 72 61 63 74 61 6c 6c | 28 48 65 61 64 29 20 3a |tractall|(Head) :|
|00002820| 2d 0a 20 20 20 20 20 20 | 20 20 72 65 74 72 61 63 |-. | retrac|
|00002830| 74 28 48 65 61 64 29 2c | 0a 20 20 20 20 20 20 20 |t(Head),|. |
|00002840| 20 66 61 69 6c 2e 0a 72 | 65 74 72 61 63 74 61 6c | fail..r|etractal|
|00002850| 6c 28 48 65 61 64 29 20 | 3a 2d 0a 20 20 20 20 20 |l(Head) |:-. |
|00002860| 20 20 20 72 65 74 72 61 | 63 74 28 28 48 65 61 64 | retra|ct((Head|
|00002870| 20 3a 2d 20 5f 29 29 2c | 0a 20 20 20 20 20 20 20 | :- _)),|. |
|00002880| 20 66 61 69 6c 2e 0a 72 | 65 74 72 61 63 74 61 6c | fail..r|etractal|
|00002890| 6c 28 5f 29 2e 0a 5c 65 | 6e 64 7b 63 6f 64 65 7d |l(_)..\e|nd{code}|
|000028a0| 0a 49 2e 65 2e 20 74 68 | 65 20 64 65 66 69 6e 69 |.I.e. th|e defini|
|000028b0| 74 69 6f 6e 20 62 65 68 | 61 76 65 73 20 74 68 65 |tion beh|aves the|
|000028c0| 20 73 61 6d 65 20 77 68 | 65 6e 20 68 61 6e 64 6c | same wh|en handl|
|000028d0| 69 6e 67 20 70 72 65 64 | 69 63 61 74 65 73 20 63 |ing pred|icates c|
|000028e0| 6f 6e 73 69 73 74 69 6e | 67 0a 6f 66 20 66 61 63 |onsistin|g.of fac|
|000028f0| 74 73 2e 20 20 43 6c 61 | 75 73 65 73 20 77 69 74 |ts. Cla|uses wit|
|00002900| 68 20 61 20 6e 6f 6e 2d | 74 72 75 65 20 62 6f 64 |h a non-|true bod|
|00002910| 79 20 77 69 6c 6c 20 62 | 65 20 72 65 74 72 61 63 |y will b|e retrac|
|00002920| 74 65 64 20 69 66 20 74 | 68 65 69 72 20 68 65 61 |ted if t|heir hea|
|00002930| 64 0a 6d 61 74 63 68 65 | 73 2e 0a 20 20 20 20 5c |d.matche|s.. \|
|00002940| 69 74 65 6d 20 5b 46 6f | 72 65 69 67 6e 20 69 6e |item [Fo|reign in|
|00002950| 74 65 72 66 61 63 65 20 | 74 79 70 65 73 5d 0a 41 |terface |types].A|
|00002960| 6c 6c 20 66 6f 72 65 69 | 67 6e 20 69 6e 74 65 72 |ll forei|gn inter|
|00002970| 66 61 63 65 20 74 79 70 | 65 73 20 6e 6f 77 20 68 |face typ|es now h|
|00002980| 61 76 65 20 6e 61 6d 65 | 73 20 65 6e 64 69 6e 67 |ave name|s ending|
|00002990| 20 69 6e 20 5c 63 74 79 | 70 65 7b 5f 74 7d 20 74 | in \cty|pe{_t} t|
|000029a0| 6f 20 6c 65 73 73 65 6e | 0a 74 68 65 20 63 68 61 |o lessen|.the cha|
|000029b0| 6e 63 65 20 66 6f 72 20 | 63 6f 6e 66 6c 69 63 74 |nce for |conflict|
|000029c0| 73 2e 20 20 5c 63 74 79 | 70 65 7b 74 65 72 6d 7d |s. \cty|pe{term}|
|000029d0| 2c 20 5c 63 74 79 70 65 | 7b 61 74 6f 6d 69 63 7d |, \ctype|{atomic}|
|000029e0| 2c 20 5c 63 74 79 70 65 | 7b 66 75 6e 63 74 6f 72 |, \ctype|{functor|
|000029f0| 7d 20 61 6e 64 0a 5c 63 | 74 79 70 65 7b 6d 6f 64 |} and.\c|type{mod|
|00002a00| 75 6c 65 7d 20 68 61 76 | 65 20 5c 65 78 61 6d 7b |ule} hav|e \exam{|
|00002a10| 5c 23 64 65 66 69 6e 65 | 7d 27 73 20 66 6f 72 20 |\#define|}'s for |
|00002a20| 62 61 63 6b 77 61 72 64 | 20 63 6f 6d 70 61 74 69 |backward| compati|
|00002a30| 62 69 6c 69 74 79 2e 0a | 20 20 20 20 5c 69 74 65 |bility..| \ite|
|00002a40| 6d 20 5b 50 4c 5f 72 65 | 67 69 73 74 65 72 5f 66 |m [PL_re|gister_f|
|00002a50| 6f 72 65 69 67 6e 28 29 | 5d 0a 54 68 65 20 61 74 |oreign()|].The at|
|00002a60| 74 72 69 62 75 74 65 73 | 20 69 73 20 6e 6f 77 20 |tributes| is now |
|00002a70| 61 20 62 69 74 77 69 73 | 65 20 6f 72 20 6f 66 20 |a bitwis|e or of |
|00002a80| 74 68 65 20 61 74 74 72 | 69 62 75 74 65 20 66 6c |the attr|ibute fl|
|00002a90| 61 67 73 20 72 61 74 68 | 65 72 20 74 68 61 6e 0a |ags rath|er than.|
|00002aa0| 61 20 30 20 74 65 72 6d | 69 6e 61 74 65 64 20 6c |a 0 term|inated l|
|00002ab0| 69 73 74 2e 20 20 54 68 | 69 73 20 68 61 73 20 6e |ist. Th|is has n|
|00002ac0| 6f 20 63 6f 6e 73 65 71 | 75 65 6e 63 65 73 20 66 |o conseq|uences f|
|00002ad0| 6f 72 20 70 72 65 64 69 | 63 61 74 65 73 20 74 68 |or predi|cates th|
|00002ae0| 61 74 20 68 61 76 65 0a | 6e 6f 20 61 74 74 72 69 |at have.|no attri|
|00002af0| 62 75 74 65 73 20 28 39 | 39 5c 25 20 6f 66 20 74 |butes (9|9\% of t|
|00002b00| 68 65 6d 29 2c 20 77 68 | 69 6c 65 20 70 72 65 64 |hem), wh|ile pred|
|00002b10| 69 63 61 74 65 73 20 77 | 69 74 68 20 6a 75 73 74 |icates w|ith just|
|00002b20| 20 6f 6e 65 20 61 74 74 | 72 69 62 75 74 65 0a 77 | one att|ribute.w|
|00002b30| 69 6c 6c 20 67 65 6e 65 | 72 61 74 65 20 61 20 63 |ill gene|rate a c|
|00002b40| 6f 6d 70 69 6c 65 72 20 | 77 61 72 6e 69 6e 67 2c |ompiler |warning,|
|00002b50| 20 62 75 74 20 77 6f 72 | 6b 20 70 72 6f 70 65 72 | but wor|k proper|
|00002b60| 6c 79 20 6f 74 68 65 72 | 77 69 73 65 2e 0a 50 72 |ly other|wise..Pr|
|00002b70| 65 64 69 63 61 74 65 73 | 20 77 69 74 68 20 6d 6f |edicates| with mo|
|00002b80| 72 65 20 74 68 61 6e 20 | 6f 6e 65 20 61 74 74 72 |re than |one attr|
|00002b90| 69 62 75 74 65 73 20 6d | 75 73 74 20 62 65 20 63 |ibutes m|ust be c|
|00002ba0| 68 61 6e 67 65 64 2e 0a | 20 20 20 20 5c 69 74 65 |hanged..| \ite|
|00002bb0| 6d 20 5b 5c 63 67 6c 6f | 62 61 6c 76 61 72 7b 50 |m [\cglo|balvar{P|
|00002bc0| 4c 5f 64 69 73 70 61 74 | 63 68 5f 65 76 65 6e 74 |L_dispat|ch_event|
|00002bd0| 73 7d 5d 0a 54 68 69 73 | 20 70 6f 69 6e 74 65 72 |s}].This| pointer|
|00002be0| 20 69 73 20 72 65 70 6c | 61 63 65 64 20 62 79 20 | is repl|aced by |
|00002bf0| 50 4c 5f 64 69 73 70 61 | 74 63 68 5f 68 6f 6f 6b |PL_dispa|tch_hook|
|00002c00| 28 29 2e 20 41 20 66 75 | 6e 63 74 69 6f 6e 20 77 |(). A fu|nction w|
|00002c10| 61 73 20 6e 65 63 65 73 | 73 61 72 79 0a 66 6f 72 |as neces|sary.for|
|00002c20| 20 74 68 65 20 57 69 6e | 33 32 20 5c 66 69 6c 65 | the Win|32 \file|
|00002c30| 65 78 74 7b 44 4c 4c 7d | 20 69 6e 74 65 72 66 61 |ext{DLL}| interfa|
|00002c40| 63 65 2e 0a 5c 65 6e 64 | 7b 69 74 65 6d 6c 69 73 |ce..\end|{itemlis|
|00002c50| 74 7d 0a 0a 0a 5c 73 65 | 63 74 69 6f 6e 7b 56 65 |t}...\se|ction{Ve|
|00002c60| 72 73 69 6f 6e 20 32 2e | 31 20 52 65 6c 65 61 73 |rsion 2.|1 Releas|
|00002c70| 65 20 4e 6f 74 65 73 7d | 0a 0a 49 6e 20 61 64 64 |e Notes}|..In add|
|00002c80| 69 74 69 6f 6e 20 74 6f | 20 73 65 76 65 72 61 6c |ition to| several|
|00002c90| 20 62 75 67 20 66 69 78 | 65 73 2c 20 74 68 65 20 | bug fix|es, the |
|00002ca0| 32 2e 31 20 76 65 72 73 | 69 6f 6e 73 20 70 72 6f |2.1 vers|ions pro|
|00002cb0| 76 69 64 65 20 73 6f 6d | 65 20 6e 65 77 20 66 65 |vide som|e new fe|
|00002cc0| 61 74 75 72 65 73 3a 0a | 5c 62 65 67 69 6e 7b 69 |atures:.|\begin{i|
|00002cd0| 74 65 6d 6c 69 73 74 7d | 0a 20 20 20 20 5c 69 74 |temlist}|. \it|
|00002ce0| 65 6d 20 5b 73 65 74 61 | 72 67 2f 33 5d 0a 41 20 |em [seta|rg/3].A |
|00002cf0| 6e 65 77 20 70 72 65 64 | 69 63 61 74 65 20 73 65 |new pred|icate se|
|00002d00| 74 61 72 67 2f 33 20 66 | 6f 72 20 65 78 74 72 61 |targ/3 f|or extra|
|00002d10| 2d 6c 6f 67 69 63 61 6c | 20 28 64 65 73 74 72 75 |-logical| (destru|
|00002d20| 63 74 69 76 65 29 20 61 | 73 73 69 67 6e 6d 65 6e |ctive) a|ssignmen|
|00002d30| 74 20 74 6f 0a 61 72 67 | 75 6d 65 6e 74 73 20 6f |t to.arg|uments o|
|00002d40| 66 20 74 65 72 6d 73 20 | 69 73 20 70 72 6f 76 69 |f terms |is provi|
|00002d50| 64 65 64 2e 0a 20 20 20 | 20 5c 69 74 65 6d 20 5b |ded.. | \item [|
|00002d60| 4d 6f 64 69 66 69 65 64 | 20 6b 65 79 73 6f 72 74 |Modified| keysort|
|00002d70| 2f 32 5d 0a 6b 65 79 73 | 6f 72 74 2f 32 20 69 73 |/2].keys|ort/2 is|
|00002d80| 20 6e 6f 77 20 73 74 61 | 62 6c 65 20 77 69 74 68 | now sta|ble with|
|00002d90| 20 72 65 67 61 72 64 20 | 74 6f 20 6d 75 6c 74 69 | regard |to multi|
|00002da0| 70 6c 65 20 76 61 6c 75 | 65 73 20 6f 6e 20 74 68 |ple valu|es on th|
|00002db0| 65 20 73 61 6d 65 20 6b | 65 79 2e 0a 4d 61 6b 65 |e same k|ey..Make|
|00002dc0| 73 20 74 68 69 73 20 70 | 72 65 64 69 63 61 74 65 |s this p|redicate|
|00002dd0| 20 63 6f 6d 70 61 74 69 | 62 6c 65 20 77 69 74 68 | compati|ble with|
|00002de0| 20 53 49 43 53 74 75 73 | 20 61 6e 64 20 51 75 69 | SICStus| and Qui|
|00002df0| 6e 74 75 73 2e 0a 20 20 | 20 20 5c 69 74 65 6d 20 |ntus.. | \item |
|00002e00| 5b 4d 6f 64 69 66 69 65 | 64 20 67 72 61 6d 6d 61 |[Modifie|d gramma|
|00002e10| 72 20 72 75 6c 65 20 65 | 78 70 61 6e 73 69 6f 6e |r rule e|xpansion|
|00002e20| 5d 0a 44 43 47 20 74 72 | 61 6e 73 6c 61 74 69 6f |].DCG tr|anslatio|
|00002e30| 6e 20 6f 66 20 66 72 65 | 65 20 76 61 72 69 61 62 |n of fre|e variab|
|00002e40| 6c 65 73 20 6e 6f 77 20 | 63 61 6c 6c 73 20 70 68 |les now |calls ph|
|00002e50| 72 61 73 65 2f 33 2c 20 | 77 68 69 63 68 20 68 61 |rase/3, |which ha|
|00002e60| 73 20 62 65 65 6e 20 63 | 68 61 6e 67 65 64 0a 73 |s been c|hanged.s|
|00002e70| 6c 69 67 68 74 6c 79 20 | 74 6f 20 64 65 61 6c 20 |lightly |to deal |
|00002e80| 77 69 74 68 20 60 75 6e | 2d 70 61 72 73 69 6e 67 |with `un|-parsing|
|00002e90| 27 2e 20 20 4d 6f 64 69 | 66 69 63 61 74 69 6f 6e |'. Modi|fication|
|00002ea0| 20 69 73 20 70 72 6f 62 | 61 62 6c 79 20 6e 6f 74 | is prob|ably not|
|00002eb0| 20 63 6f 6d 70 6c 65 74 | 65 2c 0a 62 75 74 20 69 | complet|e,.but i|
|00002ec0| 74 20 66 69 78 65 73 20 | 73 6f 6d 65 20 70 72 6f |t fixes |some pro|
|00002ed0| 62 6c 65 6d 73 20 65 6e | 63 6f 75 6e 74 65 72 65 |blems en|countere|
|00002ee0| 64 20 62 79 20 4d 69 63 | 68 61 65 6c 20 42 5c 22 |d by Mic|hael B\"|
|00002ef0| 6f 68 6c 65 6e 2e 0a 20 | 20 20 20 5c 69 74 65 6d |ohlen.. | \item|
|00002f00| 20 5b 45 78 63 65 70 74 | 69 6f 6e 20 68 61 6e 64 | [Except|ion hand|
|00002f10| 6c 69 6e 67 5d 0a 54 68 | 65 20 74 6f 70 20 6f 66 |ling].Th|e top of|
|00002f20| 20 74 68 65 20 72 75 6e | 74 69 6d 65 20 73 74 61 | the run|time sta|
|00002f30| 63 6b 20 61 72 65 20 61 | 75 74 6f 6d 61 74 69 63 |ck are a|utomatic|
|00002f40| 61 6c 6c 79 20 64 75 6d | 70 65 64 20 6f 6e 20 66 |ally dum|ped on f|
|00002f50| 6c 6f 61 74 69 6e 67 20 | 70 6f 69 6e 74 0a 65 78 |loating |point.ex|
|00002f60| 63 65 70 74 69 6f 6e 73 | 2e 0a 20 20 20 20 5c 69 |ceptions|.. \i|
|00002f70| 74 65 6d 20 5b 46 6f 72 | 65 69 67 6e 20 69 6e 74 |tem [For|eign int|
|00002f80| 65 72 66 61 63 65 5d 0a | 41 64 64 65 64 20 66 61 |erface].|Added fa|
|00002f90| 63 69 6c 69 74 69 65 73 | 20 74 6f 20 61 6c 6c 6f |cilities| to allo|
|00002fa0| 77 20 66 6f 72 20 65 6d | 62 65 64 64 69 6e 67 20 |w for em|bedding |
|00002fb0| 53 57 49 2d 50 72 6f 6c | 6f 67 20 69 6e 20 43 20 |SWI-Prol|og in C |
|00002fc0| 61 70 70 6c 69 63 61 74 | 69 6f 6e 73 2e 0a 5c 65 |applicat|ions..\e|
|00002fd0| 6e 64 7b 69 74 65 6d 6c | 69 73 74 7d 0a 0a 5c 73 |nd{iteml|ist}..\s|
|00002fe0| 65 63 74 69 6f 6e 7b 56 | 65 72 73 69 6f 6e 20 32 |ection{V|ersion 2|
|00002ff0| 2e 35 20 52 65 6c 65 61 | 73 65 20 4e 6f 74 65 73 |.5 Relea|se Notes|
|00003000| 7d 0a 0a 56 65 72 73 69 | 6f 6e 20 32 2e 35 20 69 |}..Versi|on 2.5 i|
|00003010| 73 20 61 6e 20 69 6e 74 | 65 72 6d 65 64 69 61 74 |s an int|ermediat|
|00003020| 65 20 72 65 6c 65 61 73 | 65 20 6f 6e 20 74 68 65 |e releas|e on the|
|00003030| 20 70 61 74 68 20 66 72 | 6f 6d 20 32 2e 31 20 74 | path fr|om 2.1 t|
|00003040| 6f 20 33 2e 30 2e 20 20 | 41 6c 6c 0a 63 68 61 6e |o 3.0. |All.chan|
|00003050| 67 65 73 20 61 72 65 20 | 74 6f 20 74 68 65 20 66 |ges are |to the f|
|00003060| 6f 72 65 69 67 6e 2d 6c | 61 6e 67 75 61 67 65 20 |oreign-l|anguage |
|00003070| 69 6e 74 65 72 66 61 63 | 65 2c 20 62 6f 74 68 20 |interfac|e, both |
|00003080| 74 6f 20 75 73 65 72 2d | 20 61 6e 64 20 73 79 73 |to user-| and sys|
|00003090| 74 65 6d 0a 70 72 65 64 | 69 63 61 74 65 73 20 69 |tem.pred|icates i|
|000030a0| 6d 70 6c 65 6d 65 6e 74 | 65 64 20 69 6e 20 74 68 |mplement|ed in th|
|000030b0| 65 20 43 2d 6c 61 6e 67 | 75 61 67 65 2e 20 20 54 |e C-lang|uage. T|
|000030c0| 68 65 20 61 69 6d 20 69 | 73 20 74 77 6f 66 6f 6c |he aim i|s twofol|
|000030d0| 64 2e 20 20 46 69 72 73 | 74 20 6f 66 0a 61 6c 6c |d. Firs|t of.all|
|000030e0| 20 74 6f 20 6d 61 6b 65 | 20 67 61 72 62 61 67 65 | to make| garbage|
|000030f0| 2d 63 6f 6c 6c 65 63 74 | 69 6f 6e 20 61 6e 64 20 |-collect|ion and |
|00003100| 73 74 61 63 6b 2d 65 78 | 70 61 6e 73 69 6f 6e 20 |stack-ex|pansion |
|00003110| 28 73 74 61 63 6b 2d 73 | 68 69 66 74 73 29 0a 70 |(stack-s|hifts).p|
|00003120| 6f 73 73 69 62 6c 65 20 | 77 68 69 6c 65 20 66 6f |ossible |while fo|
|00003130| 72 65 69 67 6e 20 63 6f | 64 65 20 69 73 20 61 63 |reign co|de is ac|
|00003140| 74 69 76 65 20 77 69 74 | 68 6f 75 74 20 74 68 65 |tive wit|hout the|
|00003150| 20 43 2d 70 72 6f 67 72 | 61 6d 6d 65 72 20 68 61 | C-progr|ammer ha|
|00003160| 76 69 6e 67 0a 74 6f 20 | 77 6f 72 72 79 20 61 62 |ving.to |worry ab|
|00003170| 6f 75 74 20 6c 6f 63 6b | 69 6e 67 20 61 6e 64 20 |out lock|ing and |
|00003180| 75 6e 6c 6f 63 6b 69 6e | 67 20 43 2d 76 61 72 69 |unlockin|g C-vari|
|00003190| 61 62 6c 65 73 20 70 6f | 69 6e 74 69 6e 67 20 74 |ables po|inting t|
|000031a0| 6f 20 50 72 6f 6c 6f 67 | 0a 74 65 72 6d 73 2e 20 |o Prolog|.terms. |
|000031b0| 20 54 68 65 20 6e 65 77 | 20 61 70 70 72 6f 61 63 | The new| approac|
|000031c0| 68 20 69 73 20 63 6c 6f | 73 65 6c 79 20 63 6f 6d |h is clo|sely com|
|000031d0| 70 61 74 69 62 6c 65 20 | 74 6f 20 74 68 65 20 51 |patible |to the Q|
|000031e0| 75 69 6e 74 75 73 20 61 | 6e 64 0a 53 49 43 53 74 |uintus a|nd.SICSt|
|000031f0| 75 73 20 50 72 6f 6c 6f | 67 20 66 6f 72 65 69 67 |us Prolo|g foreig|
|00003200| 6e 20 69 6e 74 65 72 66 | 61 63 65 20 75 73 69 6e |n interf|ace usin|
|00003210| 67 20 74 68 65 20 5c 63 | 6f 6e 73 74 7b 2b 74 65 |g the \c|onst{+te|
|00003220| 72 6d 7d 20 61 72 67 75 | 6d 65 6e 74 0a 73 70 65 |rm} argu|ment.spe|
|00003230| 63 69 66 69 63 61 74 69 | 6f 6e 20 28 73 65 65 20 |cificati|on (see |
|00003240| 74 68 65 69 72 20 72 65 | 73 70 65 63 74 69 76 65 |their re|spective|
|00003250| 20 6d 61 6e 75 61 6c 73 | 29 2e 20 20 54 68 69 73 | manuals|). This|
|00003260| 20 61 6c 6c 6f 77 73 20 | 66 6f 72 20 77 72 69 74 | allows |for writ|
|00003270| 69 6e 67 0a 66 6f 72 65 | 69 67 6e 20 69 6e 74 65 |ing.fore|ign inte|
|00003280| 72 66 61 63 65 73 20 74 | 68 61 74 20 61 72 65 20 |rfaces t|hat are |
|00003290| 65 61 73 69 6c 79 20 70 | 6f 72 74 61 62 6c 65 20 |easily p|ortable |
|000032a0| 6f 76 65 72 20 74 68 65 | 73 65 20 74 68 72 65 65 |over the|se three|
|000032b0| 20 50 72 6f 6c 6f 67 0a | 70 6c 61 74 66 6f 72 6d | Prolog.|platform|
|000032c0| 73 2e 0a 0a 41 63 63 6f | 72 64 69 6e 67 20 74 6f |s...Acco|rding to|
|000032d0| 20 74 68 65 20 63 75 72 | 72 65 6e 74 20 70 6c 61 | the cur|rent pla|
|000032e0| 6e 2c 20 49 53 4f 20 63 | 6f 6d 70 6c 69 61 6e 74 |n, ISO c|ompliant|
|000032f0| 20 65 78 63 65 70 74 69 | 6f 6e 20 68 61 6e 64 6c | excepti|on handl|
|00003300| 69 6e 67 20 61 6e 64 0a | 68 6f 6f 6b 73 20 66 6f |ing and.|hooks fo|
|00003310| 72 20 73 6f 75 72 63 65 | 2d 63 6f 64 65 20 64 65 |r source|-code de|
|00003320| 62 75 67 67 69 6e 67 20 | 77 69 6c 6c 20 62 65 20 |bugging |will be |
|00003330| 61 64 64 65 64 20 62 65 | 66 6f 72 65 20 74 68 65 |added be|fore the|
|00003340| 20 73 79 73 74 65 6d 20 | 77 69 6c 6c 0a 62 65 20 | system |will.be |
|00003350| 63 61 6c 6c 65 64 20 33 | 2e 30 2e 0a 0a 41 70 61 |called 3|.0...Apa|
|00003360| 72 74 20 66 72 6f 6d 20 | 76 61 72 69 6f 75 73 20 |rt from |various |
|00003370| 62 75 67 20 66 69 78 65 | 73 20 6c 69 73 74 65 64 |bug fixe|s listed|
|00003380| 20 69 6e 20 74 68 65 20 | 43 68 61 6e 67 65 6c 6f | in the |Changelo|
|00003390| 67 20 66 69 6c 65 2c 20 | 74 68 65 73 65 0a 61 72 |g file, |these.ar|
|000033a0| 65 20 74 68 65 20 6d 61 | 69 6e 20 63 68 61 6e 67 |e the ma|in chang|
|000033b0| 65 73 20 73 69 6e 63 65 | 20 32 2e 31 2e 30 3a 0a |es since| 2.1.0:.|
|000033c0| 0a 5c 62 65 67 69 6e 7b | 69 74 65 6d 6c 69 73 74 |.\begin{|itemlist|
|000033d0| 7d 0a 20 20 20 20 5c 69 | 74 65 6d 20 5b 49 53 4f |}. \i|tem [ISO|
|000033e0| 20 63 6f 6d 70 61 74 69 | 62 69 6c 69 74 79 5d 0a | compati|bility].|
|000033f0| 4d 61 6e 79 20 49 53 4f | 20 63 6f 6d 70 61 74 69 |Many ISO| compati|
|00003400| 62 69 6c 69 74 79 20 66 | 65 61 74 75 72 65 73 20 |bility f|eatures |
|00003410| 68 61 76 65 20 62 65 65 | 6e 20 61 64 64 65 64 3a |have bee|n added:|
|00003420| 20 6f 70 65 6e 2f 34 2c | 20 61 72 69 74 68 6d 65 | open/4,| arithme|
|00003430| 74 69 63 0a 66 75 6e 63 | 74 69 6f 6e 73 2c 20 73 |tic.func|tions, s|
|00003440| 79 6e 74 61 78 2c 20 65 | 74 63 2e 0a 20 20 20 20 |yntax, e|tc.. |
|00003450| 5c 69 74 65 6d 20 5b 57 | 49 4e 33 32 5d 0a 4d 61 |\item [W|IN32].Ma|
|00003460| 6e 79 20 66 69 78 65 73 | 20 66 6f 72 20 74 68 65 |ny fixes| for the|
|00003470| 20 57 69 6e 33 32 20 28 | 4e 54 2c 20 27 39 35 20 | Win32 (|NT, '95 |
|00003480| 61 6e 64 20 77 69 6e 33 | 32 73 29 20 70 6c 61 74 |and win3|2s) plat|
|00003490| 66 6f 72 6d 73 2e 20 20 | 4e 6f 74 61 62 6c 79 0a |forms. |Notably.|
|000034a0| 6d 61 6e 79 20 70 72 6f | 62 6c 65 6d 73 20 72 65 |many pro|blems re|
|000034b0| 6c 61 74 65 64 20 74 6f | 20 70 61 74 68 6e 61 6d |lated to| pathnam|
|000034c0| 65 73 20 61 6e 64 20 61 | 20 70 72 6f 62 6c 65 6d |es and a| problem|
|000034d0| 20 69 6e 20 74 68 65 20 | 67 61 72 62 61 67 65 0a | in the |garbage.|
|000034e0| 63 6f 6c 6c 65 63 74 6f | 72 2e 0a 20 20 20 20 5c |collecto|r.. \|
|000034f0| 69 74 65 6d 20 5b 50 65 | 72 66 6f 72 6d 61 6e 63 |item [Pe|rformanc|
|00003500| 65 5d 0a 4d 61 6e 79 20 | 63 68 61 6e 67 65 73 20 |e].Many |changes |
|00003510| 74 6f 20 74 68 65 20 63 | 6c 61 75 73 65 20 69 6e |to the c|lause in|
|00003520| 64 65 78 69 6e 67 20 73 | 79 73 74 65 6d 3a 20 61 |dexing s|ystem: a|
|00003530| 64 64 65 64 20 68 61 73 | 68 2d 74 61 62 6c 65 73 |dded has|h-tables|
|00003540| 2c 0a 6c 61 7a 79 20 63 | 6f 6d 70 75 74 61 74 69 |,.lazy c|omputati|
|00003550| 6f 6e 20 6f 66 20 74 68 | 65 20 69 6e 64 65 78 20 |on of th|e index |
|00003560| 69 6e 66 6f 72 6d 61 74 | 69 6f 6e 2c 20 65 74 63 |informat|ion, etc|
|00003570| 2e 0a 20 20 20 20 5c 69 | 74 65 6d 20 5b 50 6f 72 |.. \i|tem [Por|
|00003580| 74 61 62 6c 65 20 73 61 | 76 65 64 2d 73 74 61 74 |table sa|ved-stat|
|00003590| 65 73 5d 0a 54 68 65 20 | 70 72 65 64 69 63 61 74 |es].The |predicat|
|000035a0| 65 20 71 73 61 76 65 5f | 70 72 6f 67 72 61 6d 2f |e qsave_|program/|
|000035b0| 5b 31 2c 32 5d 20 61 6c | 6c 6f 77 73 20 66 6f 72 |[1,2] al|lows for|
|000035c0| 20 74 68 65 20 63 72 65 | 61 74 69 6e 67 20 6f 66 | the cre|ating of|
|000035d0| 20 6d 61 63 68 69 6e 65 | 0a 69 6e 64 65 70 65 6e | machine|.indepen|
|000035e0| 64 65 6e 74 20 73 61 76 | 65 64 2d 73 74 61 74 65 |dent sav|ed-state|
|000035f0| 73 20 74 68 61 74 20 6c | 6f 61 64 20 76 65 72 79 |s that l|oad very|
|00003600| 20 71 75 69 63 6b 6c 79 | 2e 0a 5c 65 6e 64 7b 69 | quickly|..\end{i|
|00003610| 74 65 6d 6c 69 73 74 7d | 0a 0a 5c 73 65 63 74 69 |temlist}|..\secti|
|00003620| 6f 6e 7b 56 65 72 73 69 | 6f 6e 20 32 2e 36 20 52 |on{Versi|on 2.6 R|
|00003630| 65 6c 65 61 73 65 20 4e | 6f 74 65 73 7d 0a 0a 56 |elease N|otes}..V|
|00003640| 65 72 73 69 6f 6e 20 32 | 2e 36 20 70 72 6f 76 69 |ersion 2|.6 provi|
|00003650| 64 65 73 20 61 20 73 74 | 61 62 6c 65 20 69 6d 70 |des a st|able imp|
|00003660| 6c 65 6d 65 6e 74 61 74 | 69 6f 6e 20 6f 66 20 74 |lementat|ion of t|
|00003670| 68 65 20 66 65 61 74 75 | 72 65 73 20 61 64 64 65 |he featu|res adde|
|00003680| 64 20 69 6e 0a 74 68 65 | 20 32 2e 35 2e 78 20 72 |d in.the| 2.5.x r|
|00003690| 65 6c 65 61 73 65 73 2c | 20 62 75 74 20 61 74 20 |eleases,| but at |
|000036a0| 74 68 65 20 73 61 6d 65 | 20 74 69 6d 65 20 69 6d |the same| time im|
|000036b0| 70 6c 65 6d 65 6e 74 73 | 20 61 20 6e 75 6d 62 65 |plements| a numbe|
|000036c0| 72 20 6f 66 20 6e 65 77 | 0a 66 65 61 74 75 72 65 |r of new|.feature|
|000036d0| 73 20 74 68 61 74 20 6d | 61 79 20 68 61 76 65 20 |s that m|ay have |
|000036e0| 69 6d 70 61 63 74 20 6f | 6e 20 74 68 65 20 73 79 |impact o|n the sy|
|000036f0| 73 74 65 6d 20 73 74 61 | 62 69 6c 69 74 79 2e 0a |stem sta|bility..|
|00003700| 0a 5c 62 65 67 69 6e 7b | 69 74 65 6d 6c 69 73 74 |.\begin{|itemlist|
|00003710| 7d 0a 20 20 20 20 5c 69 | 74 65 6d 20 5b 33 32 2d |}. \i|tem [32-|
|00003720| 62 69 74 20 69 6e 74 65 | 67 65 72 20 61 6e 64 20 |bit inte|ger and |
|00003730| 64 6f 75 62 6c 65 20 66 | 6c 6f 61 74 20 61 72 69 |double f|loat ari|
|00003740| 74 68 6d 65 74 69 63 5d | 0a 54 68 65 20 62 69 67 |thmetic]|.The big|
|00003750| 67 65 73 74 20 63 68 61 | 6e 67 65 20 69 73 20 74 |gest cha|nge is t|
|00003760| 68 65 20 73 75 70 70 6f | 72 74 20 66 6f 72 20 66 |he suppo|rt for f|
|00003770| 75 6c 6c 20 33 32 2d 62 | 69 74 20 73 69 67 6e 65 |ull 32-b|it signe|
|00003780| 64 20 69 6e 74 65 67 65 | 72 73 20 61 6e 64 0a 72 |d intege|rs and.r|
|00003790| 61 77 20 6d 61 63 68 69 | 6e 65 2d 66 6f 72 6d 61 |aw machi|ne-forma|
|000037a0| 74 20 64 6f 75 62 6c 65 | 20 70 72 65 63 69 73 69 |t double| precisi|
|000037b0| 6f 6e 20 66 6c 6f 61 74 | 73 2e 20 54 68 65 20 69 |on float|s. The i|
|000037c0| 6e 74 65 72 6e 61 6c 20 | 64 61 74 61 0a 72 65 70 |nternal |data.rep|
|000037d0| 72 65 73 65 6e 74 61 74 | 69 6f 6e 20 61 73 20 77 |resentat|ion as w|
|000037e0| 65 6c 6c 20 61 73 20 74 | 68 65 20 61 72 69 74 68 |ell as t|he arith|
|000037f0| 6d 65 74 69 63 20 69 6e | 73 74 72 75 63 74 69 6f |metic in|structio|
|00003800| 6e 20 73 65 74 20 61 6e | 64 20 69 6e 74 65 72 66 |n set an|d interf|
|00003810| 61 63 65 0a 74 6f 20 74 | 68 65 20 61 72 69 74 68 |ace.to t|he arith|
|00003820| 6d 65 74 69 63 20 66 75 | 6e 63 74 69 6f 6e 73 20 |metic fu|nctions |
|00003830| 68 61 73 20 62 65 65 6e | 20 63 68 61 6e 67 65 64 |has been| changed|
|00003840| 20 66 6f 72 20 74 68 69 | 73 2e 0a 20 20 20 20 5c | for thi|s.. \|
|00003850| 69 74 65 6d 20 5b 45 6d | 62 65 64 64 69 6e 67 20 |item [Em|bedding |
|00003860| 66 6f 72 20 57 69 6e 33 | 32 20 61 70 70 6c 69 63 |for Win3|2 applic|
|00003870| 61 74 69 6f 6e 73 5d 0a | 54 68 65 20 57 69 6e 33 |ations].|The Win3|
|00003880| 32 20 76 65 72 73 69 6f | 6e 20 68 61 73 20 62 65 |2 versio|n has be|
|00003890| 65 6e 20 72 65 6f 72 67 | 61 6e 69 73 65 64 2e 20 |en reorg|anised. |
|000038a0| 20 54 68 65 20 50 72 6f | 6c 6f 67 20 6b 65 72 6e | The Pro|log kern|
|000038b0| 65 6c 20 69 73 20 6e 6f | 77 0a 69 6d 70 6c 65 6d |el is no|w.implem|
|000038c0| 65 6e 74 65 64 20 61 73 | 20 57 69 6e 33 32 20 44 |ented as| Win32 D|
|000038d0| 4c 4c 20 74 68 61 74 20 | 6d 61 79 20 62 65 20 65 |LL that |may be e|
|000038e0| 6d 62 65 64 64 65 64 20 | 69 6e 20 43 2d 61 70 70 |mbedded |in C-app|
|000038f0| 6c 69 63 61 74 69 6f 6e | 73 2e 0a 54 77 6f 20 66 |lication|s..Two f|
|00003900| 72 6f 6e 74 20 65 6e 64 | 73 20 61 72 65 20 70 72 |ront end|s are pr|
|00003910| 6f 76 69 64 65 64 2c 20 | 6f 6e 65 20 66 6f 72 20 |ovided, |one for |
|00003920| 77 69 6e 64 6f 77 2d 62 | 61 73 65 64 20 6f 70 65 |window-b|ased ope|
|00003930| 72 61 74 69 6f 6e 20 61 | 6e 64 0a 6f 6e 65 20 74 |ration a|nd.one t|
|00003940| 6f 20 72 75 6e 20 61 73 | 20 61 20 57 69 6e 33 32 |o run as| a Win32|
|00003950| 20 63 6f 6e 73 6f 6c 65 | 20 61 70 70 6c 69 63 61 | console| applica|
|00003960| 74 69 6f 6e 2e 0a 20 20 | 20 20 5c 69 74 65 6d 20 |tion.. | \item |
|00003970| 5b 43 72 65 61 74 69 6e | 67 20 73 74 61 6e 64 2d |[Creatin|g stand-|
|00003980| 61 6c 6f 6e 65 20 65 78 | 65 63 75 74 61 62 6c 65 |alone ex|ecutable|
|00003990| 73 5d 0a 56 65 72 73 69 | 6f 6e 20 32 2e 36 2e 30 |s].Versi|on 2.6.0|
|000039a0| 20 63 61 6e 20 63 72 65 | 61 74 65 20 73 74 61 6e | can cre|ate stan|
|000039b0| 64 2d 61 6c 6f 6e 65 20 | 65 78 65 63 75 74 61 62 |d-alone |executab|
|000039c0| 6c 65 73 20 62 79 20 61 | 74 74 61 63 68 69 6e 67 |les by a|ttaching|
|000039d0| 20 74 68 65 0a 73 61 76 | 65 64 2d 73 74 61 74 65 | the.sav|ed-state|
|000039e0| 20 74 6f 20 74 68 65 20 | 65 6d 75 6c 61 74 6f 72 | to the |emulator|
|000039f0| 2e 20 20 53 65 65 20 71 | 73 61 76 65 5f 70 72 6f |. See q|save_pro|
|00003a00| 67 72 61 6d 2f 32 2e 0a | 5c 65 6e 64 7b 69 74 65 |gram/2..|\end{ite|
|00003a10| 6d 6c 69 73 74 7d 0a 0a | 5c 73 65 63 74 69 6f 6e |mlist}..|\section|
|00003a20| 7b 56 65 72 73 69 6f 6e | 20 32 2e 37 20 52 65 6c |{Version| 2.7 Rel|
|00003a30| 65 61 73 65 20 4e 6f 74 | 65 73 7d 0a 0a 56 65 72 |ease Not|es}..Ver|
|00003a40| 73 69 6f 6e 20 32 2e 37 | 20 72 65 6f 72 67 61 6e |sion 2.7| reorgan|
|00003a50| 69 73 65 73 20 74 68 65 | 20 65 6e 74 69 72 65 20 |ises the| entire |
|00003a60| 64 61 74 61 2d 72 65 70 | 72 65 73 65 6e 74 61 74 |data-rep|resentat|
|00003a70| 69 6f 6e 20 6f 66 20 74 | 68 65 20 50 72 6f 6c 6f |ion of t|he Prolo|
|00003a80| 67 20 64 61 74 61 0a 69 | 74 73 65 6c 66 2e 20 20 |g data.i|tself. |
|00003a90| 54 68 65 20 61 69 6d 20 | 69 73 20 74 6f 20 72 65 |The aim |is to re|
|00003aa0| 6d 6f 76 65 20 6d 6f 73 | 74 20 6f 66 20 74 68 65 |move mos|t of the|
|00003ab0| 20 61 73 73 75 6d 70 74 | 69 6f 6e 20 6f 6e 20 74 | assumpt|ion on t|
|00003ac0| 68 65 20 6d 61 63 68 69 | 6e 65 27 73 0a 6d 65 6d |he machi|ne's.mem|
|00003ad0| 6f 72 79 20 6c 61 79 6f | 75 74 20 74 6f 20 69 6d |ory layo|ut to im|
|00003ae0| 70 72 6f 76 65 20 70 6f | 72 74 61 62 69 6c 69 74 |prove po|rtabilit|
|00003af0| 79 20 69 6e 20 67 65 6e | 65 72 61 6c 20 61 6e 64 |y in gen|eral and|
|00003b00| 20 65 6e 61 62 6c 65 20 | 65 6d 62 65 64 64 69 6e | enable |embeddin|
|00003b10| 67 20 6f 6e 0a 73 79 73 | 74 65 6d 73 20 77 68 65 |g on.sys|tems whe|
|00003b20| 72 65 20 74 68 65 20 6d | 65 6d 6f 72 79 20 6c 61 |re the m|emory la|
|00003b30| 79 6f 75 74 20 6d 61 79 | 20 64 65 70 65 6e 64 20 |yout may| depend |
|00003b40| 6f 6e 20 69 6e 76 6f 63 | 61 74 69 6f 6e 20 6f 72 |on invoc|ation or|
|00003b50| 20 6f 6e 20 68 6f 77 20 | 74 68 65 0a 65 78 65 63 | on how |the.exec|
|00003b60| 75 74 61 62 6c 65 20 69 | 73 20 6c 69 6e 6b 65 64 |utable i|s linked|
|00003b70| 2e 20 20 54 68 65 20 6c | 61 74 74 65 72 20 69 73 |. The l|atter is|
|00003b80| 20 6e 6f 74 61 62 6c 79 | 20 61 20 70 72 6f 62 6c | notably| a probl|
|00003b90| 65 6d 20 6f 6e 20 74 68 | 65 20 57 69 6e 33 32 0a |em on th|e Win32.|
|00003ba0| 70 6c 61 74 66 6f 72 6d | 73 2e 20 20 50 6f 72 74 |platform|s. Port|
|00003bb0| 69 6e 67 20 74 6f 20 36 | 34 2d 62 69 74 20 61 72 |ing to 6|4-bit ar|
|00003bc0| 63 68 69 74 65 63 74 75 | 72 65 73 20 73 68 6f 75 |chitectu|res shou|
|00003bd0| 6c 64 20 62 65 20 66 65 | 61 73 69 62 6c 65 20 6e |ld be fe|asible n|
|00003be0| 6f 77 2e 0a 0a 46 75 72 | 74 68 65 72 6d 6f 72 65 |ow...Fur|thermore|
|00003bf0| 2c 20 32 2e 37 20 6c 69 | 66 74 73 20 74 68 65 20 |, 2.7 li|fts the |
|00003c00| 6c 69 6d 69 74 73 20 6f | 6e 20 61 72 69 74 79 20 |limits o|n arity |
|00003c10| 6f 66 20 70 72 65 64 69 | 63 61 74 65 73 20 61 6e |of predi|cates an|
|00003c20| 64 20 6e 75 6d 62 65 72 | 20 6f 66 0a 76 61 72 69 |d number| of.vari|
|00003c30| 61 62 6c 65 73 20 69 6e | 20 61 20 63 6c 61 75 73 |ables in| a claus|
|00003c40| 65 20 63 6f 6e 73 69 64 | 65 72 61 62 6c 79 20 61 |e consid|erably a|
|00003c50| 6e 64 20 61 6c 6c 6f 77 | 20 66 6f 72 20 66 75 72 |nd allow| for fur|
|00003c60| 74 68 65 72 20 65 78 70 | 61 6e 73 69 6f 6e 20 61 |ther exp|ansion a|
|00003c70| 74 0a 6d 69 6e 69 6d 61 | 6c 20 63 6f 73 74 2e 0a |t.minima|l cost..|
|00003c80| 0a 0a 5c 73 65 63 74 69 | 6f 6e 7b 56 65 72 73 69 |..\secti|on{Versi|
|00003c90| 6f 6e 20 32 2e 38 20 52 | 65 6c 65 61 73 65 20 4e |on 2.8 R|elease N|
|00003ca0| 6f 74 65 73 7d 0a 0a 5c | 69 6e 64 65 78 7b 41 6c |otes}..\|index{Al|
|00003cb0| 70 68 61 2c 20 44 45 43 | 7d 5c 69 6e 64 65 78 7b |pha, DEC|}\index{|
|00003cc0| 44 45 43 2c 20 41 6c 70 | 68 61 7d 25 20 57 69 74 |DEC, Alp|ha}% Wit|
|00003cd0| 68 20 76 65 72 73 69 6f | 6e 20 32 2e 38 2c 20 77 |h versio|n 2.8, w|
|00003ce0| 65 20 64 65 63 6c 61 72 | 65 20 74 68 65 0a 64 61 |e declar|e the.da|
|00003cf0| 74 61 2d 72 65 70 72 65 | 73 65 6e 74 61 74 69 6f |ta-repre|sentatio|
|00003d00| 6e 20 63 68 61 6e 67 65 | 73 20 6f 66 20 32 2e 37 |n change|s of 2.7|
|00003d10| 2e 78 20 73 74 61 62 6c | 65 2e 20 56 65 72 73 69 |.x stabl|e. Versi|
|00003d20| 6f 6e 20 32 2e 38 20 65 | 78 70 6c 6f 69 74 73 20 |on 2.8 e|xploits |
|00003d30| 74 68 65 0a 63 68 61 6e | 67 65 73 20 6f 66 20 6f |the.chan|ges of o|
|00003d40| 66 20 32 2e 37 20 74 6f | 20 73 75 70 70 6f 72 74 |f 2.7 to| support|
|00003d50| 20 36 34 2d 62 69 74 20 | 70 72 6f 63 65 73 73 6f | 64-bit |processo|
|00003d60| 72 73 20 6c 69 6b 65 20 | 74 68 65 20 44 45 43 20 |rs like |the DEC |
|00003d70| 41 6c 70 68 61 2e 20 41 | 73 20 6f 66 0a 76 65 72 |Alpha. A|s of.ver|
|00003d80| 73 69 6f 6e 20 32 2e 38 | 2e 35 2c 20 74 68 65 20 |sion 2.8|.5, the |
|00003d90| 72 65 70 72 65 73 65 6e | 74 61 74 69 6f 6e 20 6f |represen|tation o|
|00003da0| 66 20 72 65 63 6f 72 64 | 65 64 20 74 68 65 20 74 |f record|ed the t|
|00003db0| 65 72 6d 73 20 68 61 73 | 20 63 68 61 6e 67 65 64 |erms has| changed|
|00003dc0| 2c 20 61 6e 64 0a 74 65 | 72 6d 73 20 6f 6e 20 74 |, and.te|rms on t|
|00003dd0| 68 65 20 68 65 61 70 20 | 61 72 65 20 6e 6f 77 20 |he heap |are now |
|00003de0| 72 65 70 72 65 73 65 6e | 74 65 64 20 69 6e 20 61 |represen|ted in a|
|00003df0| 20 63 6f 6d 70 69 6c 65 | 64 20 66 6f 72 6d 61 74 | compile|d format|
|00003e00| 2e 20 53 57 49 2d 50 72 | 6f 6c 6f 67 0a 6e 6f 20 |. SWI-Pr|olog.no |
|00003e10| 6c 6f 6e 67 65 72 20 6c | 69 6d 69 74 73 20 74 68 |longer l|imits th|
|00003e20| 65 20 75 73 65 20 6f 66 | 20 5c 66 75 6e 63 72 65 |e use of| \funcre|
|00003e30| 66 7b 6d 61 6c 6c 6f 63 | 7d 7b 7d 20 6f 72 20 75 |f{malloc|}{} or u|
|00003e40| 73 65 73 20 61 73 73 75 | 6d 70 74 69 6f 6e 73 20 |ses assu|mptions |
|00003e50| 6f 6e 0a 74 68 65 20 61 | 64 64 72 65 73 73 65 73 |on.the a|ddresses|
|00003e60| 20 72 65 74 75 72 6e 65 | 64 20 62 79 20 74 68 69 | returne|d by thi|
|00003e70| 73 20 66 75 6e 63 74 69 | 6f 6e 2e 0a 0a 5c 73 65 |s functi|on...\se|
|00003e80| 63 74 69 6f 6e 7b 56 65 | 72 73 69 6f 6e 20 32 2e |ction{Ve|rsion 2.|
|00003e90| 39 20 52 65 6c 65 61 73 | 65 20 4e 6f 74 65 73 7d |9 Releas|e Notes}|
|00003ea0| 0a 0a 56 65 72 73 69 6f | 6e 20 32 2e 39 20 69 73 |..Versio|n 2.9 is|
|00003eb0| 20 74 68 65 20 6e 65 78 | 74 20 73 74 65 70 20 74 | the nex|t step t|
|00003ec0| 6f 77 61 72 64 73 20 76 | 65 72 73 69 6f 6e 20 33 |owards v|ersion 3|
|00003ed0| 2e 30 2c 20 69 6d 70 72 | 6f 76 69 6e 67 20 49 53 |.0, impr|oving IS|
|00003ee0| 4f 0a 63 6f 6d 70 6c 69 | 61 6e 63 65 20 61 6e 64 |O.compli|ance and|
|00003ef0| 20 69 6e 74 72 6f 64 75 | 63 69 6e 67 20 49 53 4f | introdu|cing ISO|
|00003f00| 20 63 6f 6d 70 6c 69 61 | 6e 74 20 65 78 63 65 70 | complia|nt excep|
|00003f10| 74 69 6f 6e 20 68 61 6e | 64 6c 69 6e 67 2e 20 4e |tion han|dling. N|
|00003f20| 65 77 20 61 72 65 0a 63 | 61 74 63 68 2f 33 2c 20 |ew are.c|atch/3, |
|00003f30| 74 68 72 6f 77 2f 31 2c | 20 61 62 6f 6c 69 73 68 |throw/1,| abolish|
|00003f40| 2f 31 2c 20 77 72 69 74 | 65 5f 74 65 72 6d 2f 5b |/1, writ|e_term/[|
|00003f50| 32 2c 33 5d 2c 20 77 72 | 69 74 65 5f 63 61 6e 6f |2,3], wr|ite_cano|
|00003f60| 6e 69 63 61 6c 2f 5b 31 | 2c 32 5d 20 61 6e 64 0a |nical/[1|,2] and.|
|00003f70| 74 68 65 20 43 2d 66 75 | 6e 63 74 69 6f 6e 73 20 |the C-fu|nctions |
|00003f80| 50 4c 5f 65 78 63 65 70 | 74 69 6f 6e 28 29 20 61 |PL_excep|tion() a|
|00003f90| 6e 64 20 50 4c 5f 74 68 | 72 6f 77 28 29 2e 20 54 |nd PL_th|row(). T|
|00003fa0| 68 65 20 70 72 65 64 69 | 63 61 74 65 73 0a 64 69 |he predi|cates.di|
|00003fb0| 73 70 6c 61 79 2f 5b 31 | 2c 32 5d 20 61 6e 64 20 |splay/[1|,2] and |
|00003fc0| 64 69 73 70 6c 61 79 71 | 2f 5b 31 2c 32 5d 20 68 |displayq|/[1,2] h|
|00003fd0| 61 76 65 20 62 65 65 6e | 20 6d 6f 76 65 64 20 74 |ave been| moved t|
|00003fe0| 6f 20 5c 70 6c 6c 69 62 | 7b 62 61 63 6b 63 6f 6d |o \pllib|{backcom|
|00003ff0| 70 7d 2c 20 73 6f 0a 6f | 6c 64 20 63 6f 64 65 20 |p}, so.o|ld code |
|00004000| 72 65 66 65 72 72 69 6e | 67 20 74 6f 20 74 68 65 |referrin|g to the|
|00004010| 6d 20 77 69 6c 6c 20 61 | 75 74 6f 6c 6f 61 64 20 |m will a|utoload |
|00004020| 74 68 65 6d 2e 0a 0a 54 | 68 65 20 69 6e 74 65 72 |them...T|he inter|
|00004030| 66 61 63 65 20 74 6f 20 | 50 4c 5f 6f 70 65 6e 5f |face to |PL_open_|
|00004040| 71 75 65 72 79 28 29 20 | 68 61 73 20 63 68 61 6e |query() |has chan|
|00004050| 67 65 64 2e 20 20 54 68 | 65 20 5c 61 72 67 7b 64 |ged. Th|e \arg{d|
|00004060| 65 62 75 67 7d 20 61 72 | 67 75 6d 65 6e 74 0a 69 |ebug} ar|gument.i|
|00004070| 73 20 72 65 70 6c 61 63 | 65 64 20 62 79 20 61 20 |s replac|ed by a |
|00004080| 62 69 74 77 69 73 65 20 | 6f 72 27 65 64 20 5c 61 |bitwise |or'ed \a|
|00004090| 72 67 7b 66 6c 61 67 73 | 7d 20 61 72 67 75 6d 65 |rg{flags|} argume|
|000040a0| 6e 74 2e 20 20 54 68 65 | 20 76 61 6c 75 65 73 0a |nt. The| values.|
|000040b0| 5c 63 6f 6e 73 74 7b 46 | 41 4c 53 45 7d 20 61 6e |\const{F|ALSE} an|
|000040c0| 64 20 5c 63 6f 6e 73 74 | 7b 54 52 55 45 7d 20 68 |d \const|{TRUE} h|
|000040d0| 61 76 65 20 74 68 65 69 | 72 20 66 61 6d 69 6c 69 |ave thei|r famili|
|000040e0| 61 72 20 6d 65 61 6e 69 | 6e 67 2c 20 6d 61 6b 69 |ar meani|ng, maki|
|000040f0| 6e 67 20 6f 6c 64 0a 63 | 6f 64 65 20 75 73 69 6e |ng old.c|ode usin|
|00004100| 67 20 74 68 65 73 65 20 | 63 6f 6e 73 74 61 6e 74 |g these |constant|
|00004110| 73 20 63 6f 6d 70 61 74 | 69 62 6c 65 2e 20 4e 6f |s compat|ible. No|
|00004120| 6e 2d 7a 65 72 6f 20 76 | 61 6c 75 65 73 20 6f 74 |n-zero v|alues ot|
|00004130| 68 65 72 20 74 68 61 6e | 0a 5c 63 6f 6e 73 74 7b |her than|.\const{|
|00004140| 54 52 55 45 7d 20 28 31 | 29 20 77 69 6c 6c 20 62 |TRUE} (1|) will b|
|00004150| 65 20 69 6e 74 65 72 70 | 72 65 74 65 64 20 64 69 |e interp|reted di|
|00004160| 66 66 65 72 65 6e 74 2e | 0a 0a 5c 73 65 63 74 69 |fferent.|..\secti|
|00004170| 6f 6e 7b 41 63 6b 6e 6f | 77 6c 65 64 67 65 6d 65 |on{Ackno|wledgeme|
|00004180| 6e 74 73 7d 0a 0a 53 6f | 6d 65 20 73 6d 61 6c 6c |nts}..So|me small|
|00004190| 20 70 61 72 74 73 20 6f | 66 20 74 68 65 20 50 72 | parts o|f the Pr|
|000041a0| 6f 6c 6f 67 20 63 6f 64 | 65 20 6f 66 20 53 57 49 |olog cod|e of SWI|
|000041b0| 2d 50 72 6f 6c 6f 67 20 | 61 72 65 20 6d 6f 64 69 |-Prolog |are modi|
|000041c0| 66 69 65 64 0a 76 65 72 | 73 69 6f 6e 73 20 6f 66 |fied.ver|sions of|
|000041d0| 20 74 68 65 20 63 6f 72 | 72 65 73 70 6f 6e 64 69 | the cor|respondi|
|000041e0| 6e 67 20 45 64 69 6e 62 | 75 72 67 68 20 43 2d 50 |ng Edinb|urgh C-P|
|000041f0| 72 6f 6c 6f 67 20 63 6f | 64 65 3a 20 67 72 61 6d |rolog co|de: gram|
|00004200| 6d 61 72 20 72 75 6c 65 | 0a 63 6f 6d 70 69 6c 61 |mar rule|.compila|
|00004210| 74 69 6f 6e 20 61 6e 64 | 20 77 72 69 74 65 66 2f |tion and| writef/|
|00004220| 32 2e 20 20 41 6c 73 6f | 20 73 6f 6d 65 20 6f 66 |2. Also| some of|
|00004230| 20 74 68 65 20 43 2d 63 | 6f 64 65 20 6f 72 69 67 | the C-c|ode orig|
|00004240| 69 6e 61 74 65 73 20 66 | 72 6f 6d 0a 43 2d 50 72 |inates f|rom.C-Pr|
|00004250| 6f 6c 6f 67 3a 20 66 69 | 6e 64 69 6e 67 20 74 68 |olog: fi|nding th|
|00004260| 65 20 70 61 74 68 20 6f | 66 20 74 68 65 20 63 75 |e path o|f the cu|
|00004270| 72 72 65 6e 74 6c 79 20 | 72 75 6e 6e 69 6e 67 20 |rrently |running |
|00004280| 65 78 65 63 75 74 61 62 | 6c 65 20 61 6e 64 20 74 |executab|le and t|
|00004290| 68 65 0a 63 6f 64 65 20 | 75 6e 64 65 72 6c 79 69 |he.code |underlyi|
|000042a0| 6e 67 20 61 62 73 6f 6c | 75 74 65 5f 66 69 6c 65 |ng absol|ute_file|
|000042b0| 5f 6e 61 6d 65 2f 32 2e | 20 20 49 64 65 61 73 20 |_name/2.| Ideas |
|000042c0| 6f 6e 20 70 72 6f 67 72 | 61 6d 6d 69 6e 67 20 73 |on progr|amming s|
|000042d0| 74 79 6c 65 20 61 6e 64 | 0a 74 65 63 68 6e 69 71 |tyle and|.techniq|
|000042e0| 75 65 73 20 6f 72 69 67 | 69 6e 61 74 65 20 66 72 |ues orig|inate fr|
|000042f0| 6f 6d 20 43 2d 50 72 6f | 6c 6f 67 20 61 6e 64 20 |om C-Pro|log and |
|00004300| 52 69 63 68 61 72 64 20 | 4f 27 4b 65 65 66 65 27 |Richard |O'Keefe'|
|00004310| 73 20 7b 5c 65 6d 20 74 | 68 69 65 66 7d 0a 65 64 |s {\em t|hief}.ed|
|00004320| 69 74 6f 72 2e 20 20 41 | 6e 20 69 6d 70 6f 72 74 |itor. A|n import|
|00004330| 61 6e 74 20 73 6f 75 72 | 63 65 20 6f 66 20 69 6e |ant sour|ce of in|
|00004340| 73 70 69 72 61 74 69 6f | 6e 20 61 72 65 20 74 68 |spiratio|n are th|
|00004350| 65 20 70 72 6f 67 72 61 | 6d 6d 69 6e 67 0a 74 65 |e progra|mming.te|
|00004360| 63 68 6e 69 71 75 65 73 | 20 69 6e 74 72 6f 64 75 |chniques| introdu|
|00004370| 63 65 64 20 62 79 20 41 | 6e 6a 6f 20 41 6e 6a 65 |ced by A|njo Anje|
|00004380| 77 69 65 72 64 65 6e 20 | 69 6e 20 50 43 45 20 76 |wierden |in PCE v|
|00004390| 65 72 73 69 6f 6e 7e 31 | 20 61 6e 64 7e 32 2e 0a |ersion~1| and~2..|
|000043a0| 0a 49 20 61 6c 73 6f 20 | 77 6f 75 6c 64 20 6c 69 |.I also |would li|
|000043b0| 6b 65 20 74 6f 20 74 68 | 61 6e 6b 20 74 68 6f 73 |ke to th|ank thos|
|000043c0| 65 20 77 68 6f 20 68 61 | 64 20 74 68 65 20 66 61 |e who ha|d the fa|
|000043d0| 64 65 20 6f 66 20 75 73 | 69 6e 67 20 74 68 65 20 |de of us|ing the |
|000043e0| 65 61 72 6c 79 0a 76 65 | 72 73 69 6f 6e 73 20 6f |early.ve|rsions o|
|000043f0| 66 20 74 68 69 73 20 73 | 79 73 74 65 6d 2c 20 73 |f this s|ystem, s|
|00004400| 75 67 67 65 73 74 65 64 | 20 65 78 74 65 6e 73 69 |uggested| extensi|
|00004410| 6f 6e 73 20 6f 72 20 72 | 65 70 6f 72 74 65 64 20 |ons or r|eported |
|00004420| 62 75 67 73 2e 20 20 41 | 6d 6f 6e 67 0a 74 68 65 |bugs. A|mong.the|
|00004430| 6d 20 61 72 65 20 41 6e | 6a 6f 20 41 6e 6a 65 77 |m are An|jo Anjew|
|00004440| 69 65 72 64 65 6e 2c 20 | 48 75 75 62 20 4b 6e 6f |ierden, |Huub Kno|
|00004450| 70 73 2c 20 42 6f 62 20 | 57 69 65 6c 69 6e 67 61 |ps, Bob |Wielinga|
|00004460| 2c 20 57 6f 75 74 65 72 | 20 4a 61 6e 73 77 65 69 |, Wouter| Janswei|
|00004470| 6a 65 72 2c 0a 4c 75 63 | 20 50 65 65 72 64 65 6d |jer,.Luc| Peerdem|
|00004480| 61 6e 2c 20 45 72 69 63 | 20 4e 6f 6d 62 64 65 6e |an, Eric| Nombden|
|00004490| 2c 20 46 72 61 6e 6b 20 | 76 61 6e 20 48 61 72 6d |, Frank |van Harm|
|000044a0| 65 6c 65 6e 2c 20 42 65 | 72 74 20 52 65 6e 67 65 |elen, Be|rt Renge|
|000044b0| 6c 2e 0a 0a 4d 61 72 74 | 69 6e 20 4a 61 6e 73 63 |l...Mart|in Jansc|
|000044c0| 68 65 20 28 5c 65 6d 61 | 69 6c 7b 6a 61 6e 73 63 |he (\ema|il{jansc|
|000044d0| 68 65 40 6e 6f 76 65 6c | 6c 31 2e 67 73 2e 75 6e |he@novel|l1.gs.un|
|000044e0| 69 2d 68 65 69 64 65 6c | 62 65 72 67 2e 64 65 7d |i-heidel|berg.de}|
|000044f0| 29 20 68 61 73 20 62 65 | 65 6e 0a 73 6f 20 6b 69 |) has be|en.so ki|
|00004500| 6e 64 20 74 6f 20 72 65 | 6f 72 67 61 6e 69 73 65 |nd to re|organise|
|00004510| 20 74 68 65 20 73 6f 75 | 72 63 65 73 20 66 6f 72 | the sou|rces for|
|00004520| 20 76 65 72 73 69 6f 6e | 20 32 2e 31 2e 33 20 6f | version| 2.1.3 o|
|00004530| 66 20 74 68 69 73 20 6d | 61 6e 75 61 6c 2e 0a 0a |f this m|anual...|
|00004540| 48 6f 72 73 74 20 76 6f | 6e 20 42 72 61 6e 64 20 |Horst vo|n Brand |
|00004550| 68 61 73 20 62 65 65 6e | 20 73 6f 20 6b 69 6e 64 |has been| so kind|
|00004560| 20 74 6f 20 66 69 78 20 | 6d 61 6e 79 20 74 79 70 | to fix |many typ|
|00004570| 6f 73 20 69 6e 20 74 68 | 65 20 32 2e 37 2e 31 34 |os in th|e 2.7.14|
|00004580| 20 6d 61 6e 75 61 6c 2e | 0a 54 68 61 6e 6b 73 21 | manual.|.Thanks!|
|00004590| 0a | |. | |
+--------+-------------------------+-------------------------+--------+--------+
